On Sat, Jan 25, 2014 at 12:53:41PM -0500, Aryeh Friedman wrote: > Making proper merge from github pull request it not that easy, you will > > need to > > fetch pull request as custom branches and cherry-pick them. That is really > > not > > convenient. > > > > devel/tailor was designed specifically for this case (the actual case it > does is aegis <---> svn) but same basic idea
Well website is broken for now, I can have a look :) regards, Bapt
pgpH1zsM_7EwZ.pgp
Description: PGP signature