☰

Github.com - Extra header links

Adds "Stars" and "Watching" links, as well as your user profile link, to the header alongside the existing "Pull Requests", "Issues" and "Gist" links.

Version au 22/07/2017. Voir la dernière version.

Voici les versions de ce script où le code a été modifié. Voir toutes les versions.

  • v1.2.3 24/03/2020 Long, overdue update!
  • v1.2.2 22/08/2017 Fix compatibility with updated GitHub markup changes
  • v1.2.1 22/07/2017 Fix styling issue with username link
  • v1.2 22/07/2017 Fix compatibility with updated GitHub design
  • v1.1 19/06/2015 Updated to match latest changes in Github. Also adds "Stars" and your profile link to the Github header now.
  • v1 08/07/2014