Reporobot doesn't appear to be merging PRs on Patchwork

[lordchancellor]

Hi,

I wasn't sure whether this issue should go on Reporobot, or on the Patchwork repo - it doesn't look like Reporobot is merging all PRs that go through to Patchwork at the moment. Looking through the list of PRs on that repo, there are a number that have been open for some time, but that have not been commented on by Reporobot (suggesting that there are no issues with the PR.) It does, however, look like merges are still taking place some of the time (one within the last hour in fact), so it doesn't appear to be a blanket stoppage.

Here are a couple of sample PRs that have been opened within the last 24 hours, but not commented on or merged:
jlord/patchwork#18888
jlord/patchwork#18878
jlord/patchwork#18877

It looks as though the oldest un-merged, un-commented PR dates back to 25th Jan 2017.

[jlord]

Ohh, interesting. Thank you for spotting this. I'll dig through the logs and see if I can figure out what is up.

[ghost]

الت

[ghost]

نعالل