Catch git push error and print a helpful message #339
Labels
bug
Something isn't working
good first issue
Good for newcomers
help wanted
Extra attention is needed
Maybe:
$ git push
failed! You probably need to$ git pull
first.The text was updated successfully, but these errors were encountered: