mirror of
https://github.com/flutter/flutter.git
synced 2026-02-04 01:56:32 +08:00
This moves all the bot-related files to `dev/bots`, hiding it from our home page in github. Also, simplifies the travis setup, though that doesn't do any difference to the performance sadly.