There are many questions already on SO about the use of git/github with multiple users, mostly focused on a single developer having multiple accounts for different repositories.
In that case, the solution is simple - local config files with different user fields.
I have a repository with multiple allowed accounts (one per developer) and when working from individual machines, this is fine.
One machine is used for deployment and sometimes the users of the machine want to make changes and push to the (github located) git repository.
What is the best way to associate the current user/developer on the machine to their account?
At present, the github credentials always reflect my account, but I might not be the only person making commits from that computer in the future.