Junio C Hamano <gitster@xxxxxxxxx> writes: > Scott Chacon <schacon@xxxxxxxxx> writes: > >> It appears that you're no longer pushing the 'html' branch to the >> GitHub repo,... > > It is not even "no longer". It just occurred to me that https://github.com/git/git repository might be the one you are talking about, but that repository is not even mine. The page at https://github.com/git says git@xxxxxxxxxxxxxxxxxx is its contact person. I _suspect_ it is set up to mirror from my k.org repository and obviously nothing is updated from that route for the past few weeks. It is correct to say "html branch in that repository is no longer updated", but I cannot do anything about that repository ;-). -- 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