latest 3 messages by redrambles

+ [2019-04-09T01:51:38Z] redrambles @Infininight, thank you
+ [2019-04-09T01:47:05Z] redrambles comments aren't terrible or anything - just out of left field and confusing. Aside from making the repository private, what options (if any) do we have?
+ [2019-04-09T01:47:05Z] redrambles Hello! A few of us maintain a public repository that we use to teach beginners how to get started with Git. It's a very small project. Students basically need to submit a pull request - and if it meets X criteria, we accept it. Over the last few days, we noticed that someone who isn't at all involved (not a student, not a mentor) has been commenting on a bunch of the pull requests, which has never happened before. The