How about using a bot to guard the pull request can be apply? like rust
From:
Yonggang Luo
Subject:
How about using a bot to guard the pull request can be apply? like rust compiler does.
Date:
Tue, 27 Oct 2020 04:14:41 +0800
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.