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

+github_repository_collaborator #6861

Merged
merged 1 commit into from
Jun 2, 2016
Merged

+github_repository_collaborator #6861

merged 1 commit into from
Jun 2, 2016

Conversation

handlerbot
Copy link
Contributor

Add support for GitHub repository collaborators: users who have permissions for specific repos without being a full member of the organization.

@handlerbot
Copy link
Contributor Author

Hi, any chance this can get some eyes on it before the US long weekend coming up? :-) I think it's pretty solid and ready to go in, minus whatever small nits I missed.

@stack72
Copy link
Contributor

stack72 commented Jun 2, 2016

Hi @handlerbot

this looks good to merge :)

Thanks for the work here

Paul

@stack72 stack72 merged commit a1e92c6 into hashicorp:master Jun 2, 2016
@handlerbot handlerbot deleted the github-collaborators branch June 2, 2016 00:07
@handlerbot
Copy link
Contributor Author

Yay, thank you!

@ghost
Copy link

ghost commented Apr 25, 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 25, 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.

3 participants