mirror of
https://github.com/google/flatbuffers.git
synced 2026-06-02 12:05:50 +00:00
The new stale action replaces the function of this bot, so removing the old one. It also prevents the two bots from battling each other :)