Hi all,
As discussed during day 1 of the 1st EasyBuild hackathon (yesterday) and
also before, I'll be acting as EasyBuild release manager from now on,
which means I am now responsible for merging pull requests into the
develop branch.
We opted not to take away the rights of the other guys in the EasyBuild
team (Jens, Andy, Stijn and me), because together with the merge
permissions also other permissions are stolen (e.g. assigning labels to
issues or selecting milestones/assignees), which we didn't want.
So, just leave the merging of pull requests into develop up to me.
Of course, you can and should still make remarks on pull requests, and
make suggestions for improvements.
For the pull requests made by myself, I'll make sure others have seen
and/or replied to the pull request before I merge it into develop, so
also my work will be reviewed by others.
We'll see how this all works out, and will adjust this policy in the
future if required .
regards,
Kenneth
EasyBuild release manager
