[withinboredom]

I have a script that looks at your github org/team and generates/updates users on-demand then lets you connect.

The script is pretty straightforward, see AuthorizedKeysCommand and https://github.com/{$user}.keys