github - Git pull from other user than in config -

i have repository created , following config file:

[core]     repositoryformatversion = 0     filemode = true     bare = false     logallrefupdates = true [remote "origin"]     url = https://user@github.com/repo/repo.git     fetch = +refs/heads/*:refs/remotes/origin/* [branch "develop"]     remote = origin     merge = refs/heads/develop 

now when use git pull notification input password user don't know user password. know password different user , user has access repository. possible run git pull enter different user in config file not modifying config file?

you need define user well

git config [--global] user.name "your name" git config [--global] user.email "your@email.com" 

then github ask credentials user.

also, it's considered better (and simpler, , safer) generate ssh keys , define them on remote repo.