Skip to content

provider/github: Add merge types to repository resource#15230

Closed
taiidani wants to merge 2 commits intohashicorp:masterfrom
taiidani:GitHubMergeTypes
Closed

provider/github: Add merge types to repository resource#15230
taiidani wants to merge 2 commits intohashicorp:masterfrom
taiidani:GitHubMergeTypes

Conversation

@taiidani
Copy link
Copy Markdown

@taiidani taiidani commented Jun 9, 2017

Adding merge types to the GitHub Repository resource so that users can control when the repository allows Squash merges, Rebase merges and/or Merge commits.

Fixes #15183

@taiidani taiidani changed the title GitHub Merge Types provider/github: Add merge types to repository resource Jun 9, 2017
@taiidani
Copy link
Copy Markdown
Author

taiidani commented Jun 9, 2017

Little birds everywhere are telling me that I'm going to need to move this to https://github.com/terraform-providers/terraform-provider-github >.<

@taiidani
Copy link
Copy Markdown
Author

taiidani commented Jun 9, 2017

The contents of this PR have moved to https://github.com/terraform-providers/terraform-provider-github/pull/1 matching what appears to be the new location for the code. Should this PR be closed?

@apparentlymart
Copy link
Copy Markdown
Contributor

Thanks for moving this over to the github provider repository, @taiidani! Indeed I'm going to close this now, since very soon this PR will no longer apply after the github code is removed from this repository.

@ghost
Copy link
Copy Markdown

ghost commented Apr 11, 2020

I'm going to lock this issue because it has been closed for 30 days ⏳. This helps our maintainers find and focus on the active issues.

If you have found a problem that seems similar to this, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.

@ghost ghost locked and limited conversation to collaborators Apr 11, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Feature: GitHub Merge Types

2 participants