Jan. 3, 2014
4:21 p.m.
I think jorisvandenbossche would be nice to add ability to push to master has done tremendous work with docs (and other PRs) Jeff