GitHub bot

[JackGilmore]

Create a GitHub bot user or "machine user" for running automations on the project rather than on someone's personal account. Will need to migrate several Personal Access Tokens from @JackGilmore's account into this bot which will require updating the secrets on the Organisation.