☰

githubwidth

resizes github repos for smaller window widths.

Ceci est la version du script où le code a été mise à jour. Présenter toutes les versions.

  • v0.3 2020-07-03 unbroke everything for logged-in users.
  • v0.2 2020-07-01 set the namespace
  • v0.1 2020-06-05 Found a more elegant point at which to resize the page, unfucked the file listing at really small window width, and nuked the useless links in the header.
  • v0.0 2020-06-04