menu
github package
documentation
github.dart
Repository
deleteBranchOnMerge property
deleteBranchOnMerge property
dark_mode
light_mode
deleteBranchOnMerge
property
bool
?
deleteBranchOnMerge
getter/setter pair
Whether to delete head branches when pull requests are merged
Implementation
bool? deleteBranchOnMerge;
github package
documentation
github
Repository
deleteBranchOnMerge property
Repository class