Comment by nottorp

I'm sorry, but I never read the main github site. I only spend a few seconds on it when my login expires and I need my repository list.

99.99999% of my interaction is via git pull and push :)