Yes, that is correct. Vincent
On Sun, 06 Sep 2015 12:36:46 -0500, 'John Clements' via Racket Users wrote: > > A few days ago, I made a pull request (#1030) against plt/racket. Jay > McCarthy approved it… but now I don’t see it on master. I’m guessing… that > these commits need to be made to git.racket-lang.org instead, and then they > get force-pushed to the github account. Is this correct? If so, I’ll just > take these approved commits and rebase them and push them myself. > > Thanks! > > John > > > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
