I actually found the time to select an authenticator app to set up, so I did the workaround from my blogpost.

GitHub should still fix this though.