mirror of
https://github.com/godotengine/godot.git
synced 2026-04-02 13:48:39 +00: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.