How long until you get clued in that maybe the problem is not with the end users but with your UI?
Also; with the "professionals" thing - I totally get what you mean, and it's abundantly clear you guys are doing things for the right reasons, but the tone kind of jarred with me a little bit there. Nothing drastic, but I'm a person first, a professional second...
I got "dong markup" in my RSS reader from pull requests to zedshaw/mongrel2 today. So, the trolling was very much in public view.
So, there are ways to publicly troll someone on GitHub, even if not in this precise way.
And you explicitly telling people about how being a collaborator works isn't a scalable way for people to find out. And it sounds like this question/issue has come up before. Perhaps it can be made clearer somehow?
In any case, thanks for clarifying when you become visible as a collaborator, even if only in this one comment to me.
[1]: http://news.ycombinator.com/item?id=2606063
[2]: http://news.ycombinator.com/item?id=2605804
For me, it was pretty obvious because it doesn't show up on the profile under 'Public Repositories', only on the dashboard in a list of projects you have access to.It's easy to say "oh just add it to the UI", but to actually do it is another story. Before you know it you've got hundreds of preferences, and then people will be complaining that there's too many options and it's too confusing (a-la facebook privacy settings). Honestly, GitHub's preference pages already need some work, so I for one am glad they don't add drop downs for every person's pet feature.
Regardless, it doesn't matter now. Now you just remove the project and block the user (or, presumably, just blocking the user might remove the repo... either way), so that's that.