Branch: refs/heads/dev Home: https://github.com/galaxyproject/galaxy Commit: b2da133e07c971afd35963c50b9b36eb5b24a358 https://github.com/galaxyproject/galaxy/commit/b2da133e07c971afd35963c50b9b3... Author: John Chilton jmchilton@gmail.com Date: 2016-02-08 (Mon, 08 Feb 2016)
Changed paths: M doc/source/project/organization.rst
Log Message: ----------- [PROCEDURES] Add Marius van den Beek to Galaxy committer group.
Marius has been an indispensable member of the Galaxy community for a while - his contributions to tools, planemo, and ansible roles have been signficant and invaluable.
However over the last several months he has taken a very active role on the Galaxy central code base itself. He has worked through a number of very intricate bugs to tool shed, tooling, and workflow code - consistently providing high quality and important bug fixes. Beyond that he has made signficant enhancements to the testing of Galaxy and workflow available to tool developers leveraging local tool sheds. He also is very active in the review of issues and pull requests, perhaps the most important role of Galaxy committer group members.
Commit: b3296526da94cee8ffd1acdf3186548d967f075f https://github.com/galaxyproject/galaxy/commit/b3296526da94cee8ffd1acdf31865... Author: Nicola Soranzo nsoranzo@tiscali.it Date: 2016-02-17 (Wed, 17 Feb 2016)
Changed paths: M doc/source/project/organization.rst
Log Message: ----------- Merge pull request #1699 from jmchilton/mvdbeek
[PROCEDURES] Add Marius van den Beek to Galaxy committer group.
Compare: https://github.com/galaxyproject/galaxy/compare/8e5aa4ac6774...b3296526da94