By making preventing edits opt-out rather than opt-in, it might be easier for other contributors to jump in and push outstanding PRs over the finish line.
By making preventing edits opt-out rather than opt-in, it might be easier for other contributors to jump in and push outstanding PRs over the finish line.