note by Shakthi Kannan - Identi.ca

Shakthi Kannan at 2017-06-01T07:29:07Z

To undo a #git push in #github use $ git push -f origin HEAD^:master

Is that Github-specific or a general git feature?

JanKusanagi at 2017-06-01T09:28:52Z

@JanKusanagi It works with GitHub. I assume it is a general Git feature.

Shakthi Kannan at 2017-06-02T05:35:32Z

ok, thanks =)

JanKusanagi at 2017-06-02T10:38:00Z