• deur@feddit.nl
      link
      fedilink
      arrow-up
      4
      ·
      edit-2
      9 months ago

      What about up by the name of the repo? Your suggestion still looks almost reasonable, I like it!

      • MonkCanatella
        link
        fedilink
        arrow-up
        4
        ·
        9 months ago

        Yeah actually that could work as well. Would be a really easy greasemonkey script

        • Anamana@feddit.de
          link
          fedilink
          arrow-up
          2
          ·
          9 months ago

          And then just push it to the main branch of GitHub, I’m sure they’ll accept it ;)