Change: Disable git pull by default, github actions do that already.#210
Merged
frosch123 merged 1 commit intoOpenTTD:mainfrom Apr 11, 2025
Merged
Change: Disable git pull by default, github actions do that already.#210frosch123 merged 1 commit intoOpenTTD:mainfrom
frosch123 merged 1 commit intoOpenTTD:mainfrom
