Tag e3 err
Minor updates: if the push to remote fails, then it gives an appropriate error message.
It also attempts to fetch the correct remote name. If ess-ssh is present, it chooses that.
Minor updates: if the push to remote fails, then it gives an appropriate error message.
It also attempts to fetch the correct remote name. If ess-ssh is present, it chooses that.