Hacker News new | ask | show | jobs
by luxuryballs 63 days ago
I don’t use public repos very often but I had toyed with the idea of just creating a git user specifically for an agent to use for this purpose so it would not be my user account, is this not standard practice already? Kinda seems obvious to me, I mean so people can tell which parts of my public project were commits managed by an agent.
1 comments

I do this so that AI can only have limited GitHub permissions. It can't merge, doesn't have admin rights, etc.

This after I started catching it commit directly to upstream main without PRs among other things.

that makes a lot of sense. unfortunately github doesn't allow multiple accounts per person. at least it didn't last time i checked. i hope they change their policy for AI agents though.
It does!

"You must be a human to create an Account. Accounts registered by "bots" or other automated methods are not permitted. We do permit machine accounts: A machine account is an Account set up by an individual human who accepts the Terms on behalf of the Account, provides a valid email address, and is responsible for its actions. A machine account is used exclusively for performing automated tasks. Multiple users may direct the actions of a machine account, but the owner of the Account is ultimately responsible for the machine's actions. You may maintain no more than one free machine account in addition to your free Personal Account. One person or legal entity may maintain no more than one free Account (if you choose to control a machine account as well, that's fine, but it can only be used for running a machine)."

https://docs.github.com/en/site-policy/github-terms/github-t...

oh, that's good to know. thanks.
very nice thank you