Ergh, of course I forgot to do that part. Thanks for catching that. On Thu, Mar 7, 2019 at 1:59 PM Paulo Matos <pmatos@linki.tools> wrote:
> > > On 07/03/2019 13:40, Marc Kaufmann wrote: > > Thanks Paulo, this is way better than the workflow I used the only other > > time I made a PR. The only thing I had to do was choose a branch to > > commit to: I chose 'master', mostly because I have no clue what else I > > would have chosen. What is the default to contribute to? > > > > It was in scribblings by the way. > > > > OK, I found you. > https://github.com/MarcKaufmann/racket/tree/patch-1 > > As you can see, github created the patch-1 branch correctly and your fix > is there. You should see now a button in green saying 'Create New Pull > Request'. > > Then it should show something like: > > racket/racket master <- MarcKaufmann/racket patch-1 > > on top. Press create pull request and it will create a pull request in > racket/racket for master, based on your patch-1 branch changes. > > I would then expect to see a PR from you here: > https://github.com/racket/racket/pulls > > -- > Paulo Matos > -- 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.
