• deur@feddit.nl
    link
    fedilink
    arrow-up
    4
    ·
    edit-2
    10 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
      ·
      10 months ago

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

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

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