Skip to content

resource/github_repository: Introduce option to manage Delete Branch on Merge#399

Merged
jcudit merged 2 commits intointegrations:masterfrom
bltavares:delete_branch_on_merge
Apr 2, 2020
Merged

resource/github_repository: Introduce option to manage Delete Branch on Merge#399
jcudit merged 2 commits intointegrations:masterfrom
bltavares:delete_branch_on_merge

Conversation

@bltavares
Copy link
Contributor

@bltavares bltavares commented Mar 30, 2020

Since this commit it
is possible to manage if the project should close branches automatically
after a PR is merged.

The current version on this project already supports this new config.

This commit introduces the new option, using the same default as the
GitHub API uses.

Fix #264
Closes #265

Better reviewed with ?w=1 on the url to hide whitespace introduced by gofmt

Since [this commit](google/go-github#1388) it
is possible to manage if the project should close branches automatically
after a PR is merged.

The current version on this project already supports this new config.

This commit introduces the new option, using the same default as the
GitHub API uses.

Fix https://github.com/terraform-providers/terraform-provider-github/issues/264
@ghost ghost added the size/M label Mar 30, 2020
@bltavares bltavares changed the title Introduce option to manage Delete Branch on Merge resource/github_repository: Introduce option to manage Delete Branch on Merge Mar 30, 2020
@bltavares
Copy link
Contributor Author

@jcudit Sorry, I hadn't seen https://github.com/terraform-providers/terraform-provider-github/pull/265 previously, and it seems also outdated.

Should I close this PR and let the other land instead?

@ghost ghost added the Type: Documentation Improvements or additions to documentation label Mar 30, 2020
@yordis yordis mentioned this pull request Apr 1, 2020
10 tasks
@yordis
Copy link
Contributor

yordis commented Apr 1, 2020

any update on this?

@jcudit jcudit merged commit 6a09aef into integrations:master Apr 2, 2020
@jspiro
Copy link
Contributor

jspiro commented Apr 2, 2020

Oh, awesome! I thought they didn't have API support for it. Can't wait to try it, thank you!

kfcampbell pushed a commit to kfcampbell/terraform-provider-github that referenced this pull request Jul 26, 2022
…erge

resource/github_repository: Introduce option to manage `Delete Branch on Merge`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

size/M Type: Documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Feature request: support deleting head branch of Github pull requests

4 participants