ZoltánFüzesi [off-list ref] writes:
Junio C Hamano <gitster <at> pobox.com> writes:
quoted
That GitHub repository was having a hiccup on that day and did not allow
me to push things in there, which was later fixed.
I just updated it. Thanks for noticing.
I hate to say this, but I still cannot see the tag.
$ history | grep push
12360 git push -n github2 v1.7.9.2
Facepalm. Now its time for me to find a brown paper bag.
Thanks for letting me know.