You should have head branches automatically deleted after pull requests are merged in your repository. Deleted branches will still be able to be restored.
1. Go to Repository Settings. 2. In the 'General' section of the sidebar, go to 'Pull Requests' section. 3. Ensure the 'Automatically delete head branches' setting is enabled.
{
"target": "GHRepository",
"if": {
"allOf": [
{
"resource": "GHRepository",
"property": "DeleteBranchOnMerge",
"operator": "equals",
"value": true
}
]
},
"then": {
"effect": "Audit"
}
}
Copyright © DevOps Shield. Tous droits réservés. Politique de confidentialité | Politique de témoins | Conditions d'utilisation