[AlexandrB]

Making a git commit typically doesn't require any special permissions or credentials since it's all local to the machine. You could do something like running the agent as a different used and carefully setting ownership on the .git directory vs. the source code but this is not very straightforward to set up I suspect.

[SoftTalker]

IMO it should be well within the capabilities of anyone who calls himself an engineer.