Just handle the PRs as would handle them normally. If these small PRs improve something, simply merge them; if not close them saying why. Although there are definitely people that just want to get a Tshirt (or other swag), one should keep in mind that the idea of the hacktoberfest is to get new people contributing code (or documentation etc). So better error on the polite side and treat them as somebody that just opened their first PR in their life.
Good PRs can be labeled by hacktoberfest-accepted so that they actually count towards the tshirt (this is a recent rule change, probably because there was even more spam than in the previous years). https://hacktoberfest.digitalocean.com/details#details On Thursday, October 1, 2020 at 9:33:14 PM UTC+2 Michael Orlitzky wrote: > On 2020-10-01 04:29, Samuel Lelievre wrote: > > > > I'm not sure how to best deal with that: > > > > [a] ... > > > > [d] change our github email address to [email protected] > > (how many real pull requests do we get?) > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/86aef041-a921-4175-a95d-d9068bc3dde8n%40googlegroups.com.
