Github manual merge

Fixes the manual merge instructions on github

Per 13-03-2024. Zie de nieuwste versie.

Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.

  • 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