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

Merge ompi and ompi-release repos #1512

Closed
jsquyres opened this issue Mar 31, 2016 · 1 comment
Closed

Merge ompi and ompi-release repos #1512

jsquyres opened this issue Mar 31, 2016 · 1 comment
Milestone

Comments

@jsquyres
Copy link
Member

Github is finally allowing us per-branch ACLs, meaning that we can restrict who can push to which branches. Yay!

https://github.com/blog/2137-protected-branches-improvements

We'll want to test this capability, and then start talking through the logistics of merging the ompi and ompi-release repos. Here's a few issues I can think of:

  1. All the outstanding PRs on ompi-release will need to be re-filed.
    • Might want to wait until after v2.0.0 is released (and possibly after all the pending v2.0.1 PRs have been merged...?).
  2. Verify who exactly can click the "merge" buttons to release branches. We can probably simulate this by making different RM groups in ompi-release (v1.10 and v2.x) and test to see if the different RMs can't merge to the branches that they don't control.
  3. Update all the wiki pages to remove the duality of ompi / ompi-release.
@jsquyres jsquyres added this to the v2.0.1 milestone Mar 31, 2016
@jsquyres jsquyres modified the milestones: v2.0.1, v2.0.2 Sep 2, 2016
@jsquyres
Copy link
Member Author

Done!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant