Fork me on GitHub
#proton
<
2016-03-22
>
dvcrn00:03:08

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

dvcrn00:03:40

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

dvcrn00:03:44

what do you think?

geksilla10:03:58

@dvcrn: agree, I like the cherry pick way