How long do a Pull Request live? #577
Replies: 2 comments
-
If possible, I would like to get them merged. It may take some effort on our part but it seems a little rude to discard somebody else's work. If the change can't be merged, then close it. |
Beta Was this translation helpful? Give feedback.
-
You make a good point. |
Beta Was this translation helpful? Give feedback.
-
So was going through the Pull Requests and the the more elderly ones do have more than one issue to resolve before merging.
Can we close them or do they live forever?
This also includes the one I made with the Debian dependencies which feels a bit out dated due to the recent activity around building and github actions.
This is more of a "keeping things tidy" kind of thing, so let me know how you think we should handle this kind of thing.
I'm fine with letting them be there, it's just not likely that they will ever be merged.
Beta Was this translation helpful? Give feedback.
All reactions