Indeed this was a bug, thank you for pointing it out! Should be fixed now (or in a few min as website redeploys), you can ask your teammate to go back into settings and they should see the Connect Github button. Please let me know if they still don’t!