search

alan-turing-institute / whatwhat

A reimagining of nowwhat in OCaml
MIT License
0 stars 0 forks source link

Make a "machine user" for GitHub #27

Closed triangle-man closed 2 years ago

triangle-man commented 2 years ago

A machine user is an ordinary user intended to be used by a bot. GitHub are fine with this. ("Totally cool", in their words. See https://docs.github.com/en/developers/overview/managing-deploy-keys#machine-users)

triangle-man commented 2 years ago

Created @NowWhatBot .

Note that auth tokens are in the OneDrive site.