• tetris11@lemmy.ml
      link
      fedilink
      arrow-up
      6
      ·
      4 days ago

      Fine, then push to dev and make a PR, urging your line manager to merge it quickly without review since it’s a small hotfix