github/help.github.com — comment on commit bd640bdb2193f70e028a053620a5b9bbec7832e6
File:  line 0
By sergiocampama:

Ah yeah, I see it now. Maybe changing the remote name might make it a bit more clear. Just a question. Why revert the commit? Was it pulled? I never got the notification that it did.