For changes like typoes, Github has a "pencil" button at the top of its source view that simplifies the pull-request process.
https://help.github.com/articles/editing-files-in-another-user-s-repository/ Vincent At Thu, 18 Jun 2015 21:44:50 -0400, Alexander D. Knauth wrote: > > > You could probably use either one, but a github pull request would be > more helpful, I think. > > Also, if you’re interested, I found this blog post helpful: > http://www.greghendershott.com/2013/04/a-guide-for-infrequent-contributors- > to-racket.html > Although for the HTDP student languages you’d want to think > “racket/htdp” when it says “plt/racket”, and you’d skip the `make` > steps. > (If it were something other than documentation typos, you’d want to use > the package system instead for that, but that doesn’t apply here) > > On Jun 18, 2015, at 8:55 PM, Jeffrey Edgington <jedgi...@du.edu> wrote: > > Greetings, > > > Recently while looking through the documentation on the Student > Languages, > I noticed a few mispelled words. > > > (sorry for the beginner questions that follow) > > > Are issues such as this reported through the Bug Report Form under > Help? > > > (I only saw a few bugs of this type listed on bugs.racket-lang.org) > > > Or do people just fix them and ask for it to be added in Git? > > > I ask because I am hoping to understand and “walk through” the > process using a > simple case so I can start to contribute (even in some small way) to > this community. > > > Thank you! > > > Jeffrey Edgington > > > -- > 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. -- 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.
