better error message when the user cannot push

[finishes #44564581]