08-30-2024, 01:33 AM
For as long as one of them isnt merged, it doesn't mske sense to close one or the other.
The PR-stage is also there for competing PR's to exist.
The PR-stage is also there for competing PR's to exist.