mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-26 15:03:53 +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.