Perhaps this would be good material for a CONTRIBUTING.md at the top level of the repo, where it would be more likely to be found by future contributors. GitHub will automatically show a link to the file at arguably appropriate times. [1]
[1] https://github.blog/2012-09-17-contributing-guidelines/ > On Mar 8, 2019, at 8:44 AM, Marc Kaufmann <marc.kaufman...@gmail.com> wrote: > > Let me (ab)use this thread to add some more details on how to submit pull > requests (PR) on GitHub to racket using the GitHub web interface for other > noobs - which includes myself in another month or two. Ideally I would write > this up elsewhere to help with onboarding, but that won't happen soon, so > here we go. We are talking ELI5 (Explain Like I'm 5) level explanations, so > this will be painfully obvious to the vast majority (although it would be > good for someone who knows what they are doing to correct whatever kludgy > workflow I've come up with). I copy most of the steps from Paulo earlier, but > add some that I still had to figure out. -- 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.
