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

To undo a  push in  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