mirror of
https://github.com/flutter/flutter.git
synced 2026-02-11 13:22:46 +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.