Login doesn't work, and `git push` results in this:

    $ git push
    All ok, pushing.
    Counting objects: 8, done.
    Delta compression using up to 8 threads.
    Compressing objects: 100% (8/8), done.
    Writing objects: 100% (8/8), 1.23 KiB | 0 bytes/s, done.
    Total 8 (delta 7), reused 0 (delta 0)
    remote: Resolving deltas: 100% (7/7), completed with 7 local objects.
    remote: Internal Server ErrorTo git@...
    ! [remote failure]  ... -> ... (remote failed to report status)
    error: failed to push some refs to 'git@...'

I guess we'll have to wait.