If I make a Git commit then push (over SSH), it succeeds. If I make a Git commit, then exit BlueJ, and re-open, then try to push, it fails, complaining of an auth error. However, it isn't an auth error because I can view history, update, etc with same details. But when I push a second time (even without closing the dialog), it succeeds. This seems reliable from my testing: always fails first time, and always seems to succeed second time. --- **Issue metadata** - Issue type: Bug - Priority: Medium