| ▲ | AlexandrB a day 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. | ||
| ▲ | SoftTalker a day ago | parent [-] | |
IMO it should be well within the capabilities of anyone who calls himself an engineer. | ||