4 ms·

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

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.

jmalicki 6mo ago
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.
- em-bee 6mo ago
  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.
  - jmalicki 6mo ago
    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-terms-of-service https://docs.github.com/en/site-policy/github-terms/github-t...
    - em-bee 6mo ago
      oh, that's good to know. thanks.
    - luxuryballs 6mo ago
      very nice thank you

jmalicki 6mo ago

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.

em-bee 6mo ago
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.
- jmalicki 6mo ago
  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-terms-of-service https://docs.github.com/en/site-policy/github-terms/github-t...
  - em-bee 6mo ago
    oh, that's good to know. thanks.
  - luxuryballs 6mo ago
    very nice thank you