CI upkeep #488
Reference in New Issue
Block a user
Delete Branch "docs/design-workflow"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Summary
CI and documentation upkeep:
The two modes are mutually exclusive: a linked PR must be unlabelled, and an unlinked PR must carry at least one label. Issue references are still validated whenever they are present.
Verification
python3 -m unittest tests.unit.test_tracker_policy -vgit diff --check9620153c35to5e199783955e19978395tob0cbec4375docs: add design workflow guideto CI upkeepCI upkeepto Docs and CI upkeepDocs and CI upkeepto CI upkeep