Github manual merge

Fixes the manual merge instructions on github

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

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

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

    typo

  • v2.1 2024-03-13

    Force update local branches

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