mirror of
https://github.com/flutter/flutter.git
synced 2026-02-04 19:00:09 +08:00
sir @godofredoc pointed out that we should use a real user to create PRs with, and we already have one account with such credentials -- the mirror bot.