() Stefan Monnier <monnier@IRO.UMontreal.CA>
() Wed, 14 May 2014 15:05:08 -0400

   You could "git merge -t subtree" from that repository.

Thanks for the tip (with ‘s/-t/-s/’ i take it).

-- 
Thien-Thi Nguyen
   GPG key: 4C807502
   (if you're human and you know it)
      read my lisp: (responsep (questions 'technical)
                               (not (via 'mailing-list)))
                     => nil