[BLUEJ-1053] Git push fails first time with incorrect auth fail error

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