Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Merged
merged 2 commits into from
Apr 2, 2020

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

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