Replies: 2 comments
-
Here's an excerpt from #62, which explains how I see the merging activity
From you post, I understand that you'd like a bot to be responsible for merging PRs. As far as the four PRs are concerned
I have not been mentioned/asked to review them (in particular, no content of mine was changed), so I am fine with having them merged. |
Beta Was this translation helpful? Give feedback.
-
I personally think that good change that is not merged is a better situation than a bad change that is merged, so i think that a manual overview is better. |
Beta Was this translation helpful? Give feedback.
-
@macmarrum I have found 4 pull requests which have been waiting quite a long time.
It becomes important to merge them before changing the directory structure.
Because nobody has reviewed them since 4 weeks I would like to install a bot automatically merging all pull requests not reviewed within 7 days and not having wip in their title. It would give you the opportunity to check any PRs before merging as you wanted.
Before the bot is created I would merge such PRs myself. Having no time to do reviews should IMHO not be a blocker.
How do you see it?
Beta Was this translation helpful? Give feedback.
All reactions