ZoltánFüzesi <zfuzesi@xxxxxxxxx> writes: > Junio C Hamano <gitster <at> pobox.com> writes: >> >> 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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html