If push hasn't had --set-upstream, push from git panel silently fails


#1

To recover:
git push --set-upstream origin <branch_name>
Then it works normally


#2

You should open an issue on the repo for the github package to alert the developers about this.