Github manual merge

Fixes the manual merge instructions on github

As of 13. 03. 2024. See the latest version.

These are versions of this script where the code was updated. Show all versions.

  • 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