mirror of
https://github.com/flutter/flutter.git
synced 2025-06-03 00:51:18 +00:00
942ccc5cb0
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.
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
7b727f0d4c853c9848847839a317300cb83f4ece
|