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