mirror of
https://github.com/minetest/minetest.git
synced 2025-02-18 19:03:46 +01:00
Seems the diff mode doesn't work well, PR are detected as working whereas in master it's shown it's problematic (and really problematic). Use same check everywhere