Peter can @bots try to apply pull request, if pull request apply and all ci
tests passed, then the bot automatically merge the pull request and push to
the mirrors.
We even doesn't need gitlab or other things, only need the bot to monitor
the instruction from Peter.

-- 
         此致
礼
罗勇刚
Yours
    sincerely,
Yonggang Luo

Reply via email to