Accidentally pushed all the commits when trying to "git push upstream p_usrloc_NULL_checks master"; forgot the ":".

Shall I re-push the old files? (can't push -f a reset on previous commit due to locking).

—
Reply to this email directly or view it on GitHub.