Re: [racket-dev] Github repo is two commits behind

2015-02-02 Thread Vincent St-Amour
FWIW, pulling from git.racket-lang.org has been slow (i.e. ~30mins) for some of us in the last couple of days. Something in the mirroring may be timing out for similar reasons. Vincent At Mon, 2 Feb 2015 18:41:56 -0300, Gustavo Massaccesi wrote: * openssl: recognize version 1.0.1j #8265c9

[racket-dev] Github repo is two commits behind

2015-02-02 Thread Gustavo Massaccesi
* openssl: recognize version 1.0.1j #8265c9 (3 days ago) -- latest commit in git.racket-lang * pretty-print: fix for a current inspector that sees through internals #8d49a9 (3 days ago) * fix reified-syntax-class-curry (missing role argument) #302986 (3 days ago) -- Latest commit in github

Re: [racket-dev] Github repo is two commits behind

2015-02-02 Thread Vincent St-Amour
I just pushed something, and now the Github mirror is up to date. The push must have kicked the mirroring mechanism. Vincent At Mon, 02 Feb 2015 16:54:10 -0500, Vincent St-Amour wrote: FWIW, pulling from git.racket-lang.org has been slow (i.e. ~30mins) for some of us in the last couple of