I want to add a “machine user” because Travis suggest you do that to allow Travis to auto update the Github releases page post build:
> “The suggested workaround is to create a machine user — a dummy GitHub account that is granted write access on a per repository basis.”
The instructions to setup a machine user are:
> “Setup:
> 1. Run the ssh-keygen procedure on your server and attach the public key to the machine user account.
> 2. Give the machine user account access to the repositories you want to automate. You can do this by adding the account as a collaborator, as an outside collaborator, or to a team in an organization.”
I don’t get it. Is the “machine user account” merely the public 1/2 of an SSH key? If so I can’t figure out how to grant a user identified by a public SSH key access as a collaborator, as an outside collaborator, or to a team in an organization. Or is there a step missing: Add an actual use and associate the SSH key with that user? If so then why’s is called a machine user? That is just a user account.