☰

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.

Versión del día 19/6/2015. Echa un vistazo a la versión más reciente.

A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.

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

长期地址
遇到问题？请前往 GitHub 提 Issues。