A Problem with `git push origin`

March 2, 2020 12:43:45 pm

I couldn’t figure out why git kept complaining there was no such file as origin.

Because I was typing grep.