🚀Launch Week 08, April 14th - 18th, 2025🚀
Mods
GitHub

Policy: GitHub > Repository > Pull Request > Delete Branch on Merge

Configure whether to delete head branches when pull requests are merged or not.

Deleted branches will still be able to be restored.

Targets

This policy targets the following resource types:

Primary Policy

This policy is used with the following primary policy:

Policy Packs

This policy setting is used by the following policy packs:

Policy Specification

Schema Type
string
Default
Skip
Valid Values [YAML]
  • Skip
    
  • Check: Enabled
    
  • Check: Disabled
    
  • Enforce: Enabled
    
  • Enforce: Disabled
    
Examples [YAML]
  • Check: Enabled
    

Category

In Your Workspace

Developers