Comment by AlexandrB
2 days ago
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.
IMO it should be well within the capabilities of anyone who calls himself an engineer.
[dead]