Skip to content
This repository was archived by the owner on Apr 3, 2021. It is now read-only.

Conversation

@mike5603
Copy link

@mike5603 mike5603 commented Nov 6, 2017

test to see if outside people can contribute with pull request. I tried cloning without merging and it seemed like I wasn't able to do anything other than downloading the code

Copy link

@jshahOSU jshahOSU left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Mike, your pull request has been approved.

@mike5603
Copy link
Author

mike5603 commented Nov 8, 2017

It looks like I don't have permission to merge this. Is this what we would want or do we want outside devs to have permission to merge once the pull request has been approved? @jshahOSU @ejmaginn @emarinri @ryangmullen

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants