proton

https://github.com/dvcrn/proton
dvcrn 2016-03-22T00:51:08.000033Z

@geksilla: I think now that we have a better commit scheme, we don't need to use the git pr auto merge anymore

dvcrn 2016-03-22T00:51:40.000034Z

using a normal merge when the branch is fast forwarded creates a nice entry in the commit log instead of a ugly merge commit

dvcrn 2016-03-22T00:51:44.000035Z

what do you think?

geksilla 2016-03-22T10:51:58.000037Z

@dvcrn: agree, I like the cherry pick way