mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-27 15:31:17 +01:00
That parameter was solely needed for the commit checks that are now moved to the `check-pr` workflow. The only other test using git is the whitespace check and that works just fine on the merge commit.