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