Adds "Stars" and "Watching" links, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.
Aquí están todas las versiones de este script. Mostrar únicamente las versiones en las que hubo cambios de código.
