+[2017-05-16T14:56:23Z]LeBlaaancWhat's the etiquette for merging in changes from someone who forked your repo? +[2017-05-16T15:08:04Z]PlorntusI have pulled in changes from another branch, now that branch has been merged into master, is there a way of getting rid of the commits from my branch in the PR as if I worked on the master when creating my feature? +[2017-05-16T18:04:31Z]Rapturegithub having any issues sending out invites for new members? +[2017-05-16T18:04:37Z]Rapturetrying to add someone but no emails :( +[2017-05-16T18:09:24Z]Rapturehmm nvm, tried it with email and worked. usernames don't seem to be working eventhough it finds the username when I start typing it
+[2017-05-18T06:29:15Z]System42Any GitHub staff monitor this? I found a bot crawling repos and opening hundreds of PRs +[2017-05-18T06:46:39Z]MotokoSystem42 I think some do, but the usual contact channels on the site might get a faster response. +[2017-05-18T06:48:08Z]System42Motoko, I've reported the user involved, but the number of PRs is growing by the minute. +[2017-05-18T06:48:46Z]MotokoVia https://github.com/contact/report-abuse ? +[2017-05-18T06:50:26Z]MotokoThey're usually somewhat good at responding on that and they can clean up things messed up by the user internally.