Github manual merge

Changes the copy button at the top of a pull-request to copy a git command to pull to a pr branch

These are all versions of this script. Show only the versions where the code changed.

  • v2.4 19. 06. 2025
  • v2.3 01. 06. 2024
  • v2.2 13. 03. 2024

    typo

  • v2.1 13. 03. 2024

    Force update local branches

  • v2.0 19. 02. 2024
  • v1.0 19. 02. 2024
  • v0.1 19. 02. 2024