mirror of
https://github.com/google/flatbuffers.git
synced 2026-06-06 05:27:24 +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 :)