mirror of
https://github.com/godotengine/godot.git
synced 2026-01-06 10:11:57 +03:00
This can happen when only thirdparty files are changed, since we grep them out. Re-add `bin` and `thirdparty` to the skip list for good measure.