Re: [racket-dev] Github mirroring is down

JFYI, the main problem should be resolved and the GH mirror should be properly updated. There are still some errors, but apparently they shouldn't bother anyone who is not me... -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://www.barzilay.org

Re: [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

[racket-dev] Github mirroring is down

JFYI, there is no github mirroring ATM. I don't know when I'll be able to get it working again. -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is Life! _