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.
