| ▲ | lukax a day ago | |||||||
You can have a separate GitHub account for your agent (GitHub ToS actually allows that since April) and that account can fork your repo and open PRs. This way it cannot do any real damage but can still push. See this user for example: https://github.com/filippo-agent | ||||||||
| ▲ | CharlieDigital a day ago | parent [-] | |||||||
Do you have more background on this? My team actually ran into some issues with GH when we tried this earlier this year (felt like it was around that same time). | ||||||||
| ||||||||