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 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 g...@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 g...@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 'g...@github.com:plt/racket.git' -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is Life! _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'
On Thu, Jun 23, 2011 at 9:51 PM, Robby Findler ro...@eecs.northwestern.edu wrote: So I think the fix is to do the renaming for with-handlers before it gets exported from typed-scheme/base-env/prims (or introduce another module and put that one in the #:use-sources and use it as the one where the re-providing is happening). Ok, I did this, and it worked nicely. Thanks! Unfortunately, the issue with `-' seems to be different. In particular, `-' in `typed/scheme' and in `typed/racket' are both defined in typed-scheme/base-env/base-types-extra.rkt, under the name `-', and it isn't renamed in between. Other identifiers, such as `U', are defined in the same place, and treated identically, but the docs for `U' work just fine. -- sam th sa...@ccs.neu.edu _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'
I'm not seeing something wrong. Maybe it would help if you could make a smaller example. Robby On Sat, Jun 25, 2011 at 8:15 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Thu, Jun 23, 2011 at 9:51 PM, Robby Findler ro...@eecs.northwestern.edu wrote: So I think the fix is to do the renaming for with-handlers before it gets exported from typed-scheme/base-env/prims (or introduce another module and put that one in the #:use-sources and use it as the one where the re-providing is happening). Ok, I did this, and it worked nicely. Thanks! Unfortunately, the issue with `-' seems to be different. In particular, `-' in `typed/scheme' and in `typed/racket' are both defined in typed-scheme/base-env/base-types-extra.rkt, under the name `-', and it isn't renamed in between. Other identifiers, such as `U', are defined in the same place, and treated identically, but the docs for `U' work just fine. -- sam th sa...@ccs.neu.edu _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'
What's wrong is that for typed/scheme check-docs thinks that - is undocumented, even though it's able to find the docs for the same identifier provided from typed/racket. It's the same problem as with with-handlers, but if appears not to have the same cause. On Jun 24, 2011 8:53 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm not seeing something wrong. Maybe it would help if you could make a smaller example. Robby On Sat, Jun 25, 2011 at 8:15 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Thu, Jun 23, 2011 at 9:51 PM, Robby Findler ro...@eecs.northwestern.edu wrote: So I think the fix is to do the renaming for with-handlers before it gets exported from typed-scheme/base-env/prims (or introduce another module and put that one in the #:use-sources and use it as the one where the re-providing is happening). Ok, I did this, and it worked nicely. Thanks! Unfortunately, the issue with `-' seems to be different. In particular, `-' in `typed/scheme' and in `typed/racket' are both defined in typed-scheme/base-env/base-types-extra.rkt, under the name `-', and it isn't renamed in between. Other identifiers, such as `U', are defined in the same place, and treated identically, but the docs for `U' work just fine. -- sam th sa...@ccs.neu.edu _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'
What I meant is that I don't see what is wrong with your code, not that I don't see check-docs complaining. On Sat, Jun 25, 2011 at 9:14 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: What's wrong is that for typed/scheme check-docs thinks that - is undocumented, even though it's able to find the docs for the same identifier provided from typed/racket. It's the same problem as with with-handlers, but if appears not to have the same cause. On Jun 24, 2011 8:53 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm not seeing something wrong. Maybe it would help if you could make a smaller example. Robby On Sat, Jun 25, 2011 at 8:15 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Thu, Jun 23, 2011 at 9:51 PM, Robby Findler ro...@eecs.northwestern.edu wrote: So I think the fix is to do the renaming for with-handlers before it gets exported from typed-scheme/base-env/prims (or introduce another module and put that one in the #:use-sources and use it as the one where the re-providing is happening). Ok, I did this, and it worked nicely. Thanks! Unfortunately, the issue with `-' seems to be different. In particular, `-' in `typed/scheme' and in `typed/racket' are both defined in typed-scheme/base-env/base-types-extra.rkt, under the name `-', and it isn't renamed in between. Other identifiers, such as `U', are defined in the same place, and treated identically, but the docs for `U' work just fine. -- sam th sa...@ccs.neu.edu _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'
Ah, I see. Well, that makes two of us. I'll try to make a small example collection. On Fri, Jun 24, 2011 at 9:46 PM, Robby Findler ro...@eecs.northwestern.edu wrote: What I meant is that I don't see what is wrong with your code, not that I don't see check-docs complaining. On Sat, Jun 25, 2011 at 9:14 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: What's wrong is that for typed/scheme check-docs thinks that - is undocumented, even though it's able to find the docs for the same identifier provided from typed/racket. It's the same problem as with with-handlers, but if appears not to have the same cause. On Jun 24, 2011 8:53 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm not seeing something wrong. Maybe it would help if you could make a smaller example. Robby On Sat, Jun 25, 2011 at 8:15 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Thu, Jun 23, 2011 at 9:51 PM, Robby Findler ro...@eecs.northwestern.edu wrote: So I think the fix is to do the renaming for with-handlers before it gets exported from typed-scheme/base-env/prims (or introduce another module and put that one in the #:use-sources and use it as the one where the re-providing is happening). Ok, I did this, and it worked nicely. Thanks! Unfortunately, the issue with `-' seems to be different. In particular, `-' in `typed/scheme' and in `typed/racket' are both defined in typed-scheme/base-env/base-types-extra.rkt, under the name `-', and it isn't renamed in between. Other identifiers, such as `U', are defined in the same place, and treated identically, but the docs for `U' work just fine. -- sam th sa...@ccs.neu.edu -- sam th sa...@ccs.neu.edu _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'
Thanks. I think that'll help us figure out where the problem is. Robby On Sat, Jun 25, 2011 at 9:54 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: Ah, I see. Well, that makes two of us. I'll try to make a small example collection. On Fri, Jun 24, 2011 at 9:46 PM, Robby Findler ro...@eecs.northwestern.edu wrote: What I meant is that I don't see what is wrong with your code, not that I don't see check-docs complaining. On Sat, Jun 25, 2011 at 9:14 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: What's wrong is that for typed/scheme check-docs thinks that - is undocumented, even though it's able to find the docs for the same identifier provided from typed/racket. It's the same problem as with with-handlers, but if appears not to have the same cause. On Jun 24, 2011 8:53 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm not seeing something wrong. Maybe it would help if you could make a smaller example. Robby On Sat, Jun 25, 2011 at 8:15 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Thu, Jun 23, 2011 at 9:51 PM, Robby Findler ro...@eecs.northwestern.edu wrote: So I think the fix is to do the renaming for with-handlers before it gets exported from typed-scheme/base-env/prims (or introduce another module and put that one in the #:use-sources and use it as the one where the re-providing is happening). Ok, I did this, and it worked nicely. Thanks! Unfortunately, the issue with `-' seems to be different. In particular, `-' in `typed/scheme' and in `typed/racket' are both defined in typed-scheme/base-env/base-types-extra.rkt, under the name `-', and it isn't renamed in between. Other identifiers, such as `U', are defined in the same place, and treated identically, but the docs for `U' work just fine. -- sam th sa...@ccs.neu.edu -- sam th sa...@ccs.neu.edu _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
