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

Feature: GitHub Merge Types #15183

Closed
taiidani opened this issue Jun 8, 2017 · 1 comment
Closed

Feature: GitHub Merge Types #15183

taiidani opened this issue Jun 8, 2017 · 1 comment

Comments

@taiidani
Copy link

taiidani commented Jun 8, 2017

Version 0.9.6

Adding a feature request to add merge types to the resource_github_repository.

image

I plan to take a stab at this myself with a pull request but I welcome anyone else!

@ghost
Copy link

ghost commented Apr 9, 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 9, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants