Collaborator tweaks

Today we rolled out a couple changes in the way collaborators work with GitHub. Dashboard repository listing The dashboard repository listing now includes all repositories you can push to. So…