resource/github_repository: Introduce option to manage Delete Branch on Merge#399
Merged
jcudit merged 2 commits intointegrations:masterfrom bltavares:delete_branch_on_mergeApr 2, 2020
+56-45
Delete Branch on Merge#399