[racket-dev] Github mirroring is down

40 minutes ago, Eli Barzilay wrote:
> JFYI, there is no github mirroring ATM.  I don't know when I'll be
> able to get it working again.

So here are the details: the first push that was done today (I think
it was Kevin's) had some problem in the step where it mirrors to
github.  I first didn't pay attention to it, but it continued on
further pushes.  I logged in and tried it manually, and the problem is
what you see below.

Now, the refs/pull that it refuses to allow me to push to sounds like
some internal GH thing that they're using for pull requests.  My guess
is that since it is not included locally on our server's repo, running
a `git push --mirror' will try to delete them, and github refuses to
do that.  This is just a guess -- these pull requests have been there
for a while, and there weren't any issues with this mirroring, so I'm
guessing that something on their end changed.  But that's just a guess
too -- it seems like something that would cause enough noise around
the whole thing, since I'm sure that we're not the only project with
the bright idea of mirroring to GH.

As an aside, it also claims that we're using 0.0 out of the allocated
0.30GB, and that seems like something else might be broken there.

I've contacted them (and tried catching people on their IRC channel),
but didn't hear anything back yet.

------------------------------------------------------------------------

champlain:~/repos/plt.git git> git push --mirror git at github.com:plt/racket
Counting objects: 110, done.
Compressing objects: 100% (55/55), done.
Writing objects: 100% (101/101), 31.72 KiB, done.
Total 101 (delta 44), reused 101 (delta 44)
remote: Sorry, you can't push to the refs/pull/* hierarchy
To git at github.com:plt/racket.git
 ! [remote rejected] master -> master (pre-receive hook declined)
 ! [remote rejected] refs/pull/10/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/10/merge (pre-receive hook declined)
 ! [remote rejected] refs/pull/11/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/11/merge (pre-receive hook declined)
 ! [remote rejected] refs/pull/12/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/12/merge (pre-receive hook declined)
 ! [remote rejected] refs/pull/13/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/13/merge (pre-receive hook declined)
 ! [remote rejected] refs/pull/14/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/14/merge (pre-receive hook declined)
 ! [remote rejected] refs/pull/15/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/15/merge (pre-receive hook declined)
 ! [remote rejected] refs/pull/16/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/17/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/18/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/19/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/2/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/20/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/21/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/22/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/23/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/23/merge (pre-receive hook declined)
 ! [remote rejected] refs/pull/24/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/3/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/5/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/6/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/7/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/7/merge (pre-receive hook declined)
 ! [remote rejected] refs/pull/8/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/8/merge (pre-receive hook declined)
 ! [remote rejected] refs/pull/9/head (pre-receive hook declined)
 ! [remote rejected] refs/pull/9/merge (pre-receive hook declined)
error: failed to push some refs to 'git at github.com:plt/racket.git'

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!