The thing is that this is amazingly rare. The handful of times it's happened, the 'victim' most likely just removes the repo (which has always been possible) and that's the end of it. Others might say to their friends on IRC "Hey, can you see dongml in my projects list on github?" and sure enough the answer will be 'no'.
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.
I'm not sure we're talking about the same thing. I mean making it more clear in the UI that there's a separation between projects where you're a committer, and where you're just invited (to use another poster's words). If an (apparently) Github employee feels the need to wonder how often he's going to have to explain it, it seems that there exists a common confusion in the distinction.
Yea sorry I tangent-ed a bit there. Probably because I just think this is a non-issue. It's in the UI in that it's listed in your repositories you have access to, but not on your profile. I don't see what kind of UI change they could make that would make it clearer short of text or a tooltip or something, and I think that the %0.001 of users who would ever care is just not worth the time to even considering it. The reason kneath was wondering how many times he had to say it is because it's all over this thread -- including the direct parent of the asker in this case.
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.