mirror of
https://github.com/godotengine/godot.git
synced 2026-01-08 00:25:01 +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.
(cherry picked from commit c7a5ce656c)