Fails to Merge Pull Request on Some Occations about pull HOT 12 CLOSED

mergable_state isn't clean due to GitHub workflow reporting error. At this time, pull does not merge when the PR isn't clean.

from pull.

Thanks for the report! If you don't mind, please leave one open and reply here when it happens again and I'll investigate. Thanks!!

from pull.

I don't think you have a way to check it. I'll just check it manually once it happens to another PR.

from pull.

Creating my own pull request without pull:

Everyone still showed up as participants: https://github.com/wei/generator-jhipster/pull/1

As you can see, this is something GitHub does automatically regardless of whether it's pull or a human creating the PR. and I don't think removing participants is possible through the API.

from pull.

Good idea. We can add a mergeUnstable boolean flag to the config then check it on this line.

PR welcome.

from pull.

I've created the pull request. Please go through it and let me know if you see any issues. Since this is my first, might have done some things wrong 😄

from pull.

@wei : Thanks for the quick reply; I'll post here as soon as I see one again. Thanks much 👍

from pull.

Investigating this a bit further, I have a strong feeling my issue might be same as #16. Currently I have 10 repos monitored by the pull app. Do you know any way to check whether the rate limit is hit? 🤔

from pull.

@wei : Hi, the problem is back. Here's the pr; SudharakaP/generator-jhipster#254. I am not going to merge this until you confirm you've done the analysis. Let me know as soon as you are done so since all the people in the conversation gets emails each time a checkin is made to the parent repo I think. 😄

Thanks much 😄

from pull.

If I may suggest another improvement (I am not certain if this is possible), is that everyone is not included in the conversation for the pull requests. Otherwise everyone gets the failure emails as pointed out to me by one of the people in that conversation. 😄

from pull.

@wei : Thanks for the analysis. Is it possible to make an option for the pull app to merge the changes even when the state is unclean? This will be helpful for people who doesn't have paid plans (such as myself) where github workflows can be run. 😄

EDIT: If you don't have time for this, I can try to contribute a pr as well. 😄

from pull.

Wonderful. Let me do the change today evening. 😄

from pull.