Richard Hansen 07289d5c48 New GitHub workflow to enforce linear pull requests ... When combined with GitHub's "Require branches to be up to date before merging" setting, this forces semi-linear merging. This check can be disabled by adding the "pr-permit-nonlinear" label to the PR.		2024-12-25 02:09:00 -05:00
..
workflows	New GitHub workflow to enforce linear pull requests	2024-12-25 02:09:00 -05:00