Junio C Hamano [off-list ref] writes:
Scott Chacon [off-list ref] writes:
quoted
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@logicalawesome.com 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 ;-).
Hey,
On Fri, Sep 23, 2011 at 12:29 PM, Junio C Hamano [off-list ref] wrote:
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@logicalawesome.com 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 ;-).
git/git is a mirror I set up from k.org years ago for git-scm.com. I
believe you've been a collaborator on it for a while now, so you can
push to it if you'd like. The mirroring system is down since k.org
died and I've since moved it off the host I had been using to Heroku,
so I can't do the mirroring that way anymore. If you want to push to
it I'll leave it there, otherwise I'll reroot your repo to be the head
of the GitHub network instead.