By default these pull requests should be closed by asfgit bot, I think you can
ask infra team whose mailing address is infrastruct...@apache.org for help.
By the way, if you want close them forcibly, you can use use: git commit
--allow-empty -m "Closes #123: invalid/whatever"
This adds small noise in the Git history but works.
Thanks.
Adam Feng
On 16 Oct 2017, 2:36 PM +0800, 以马内利 <279483...@qq.com>, wrote:
> Dear, pr auto merge broken.Any one can help?
> 1. PR-791 has merged but still open.
> 2. PR-796 has merged but still open.
> 3. PR-788 has merged but still open.
>
>
> This is not the first time.Please help~ Thanks a lot.
>
>
>
> gurisxie