No sync involved, nothing complex, not more than trying to push upstream with git-svn:
1) on your git repository fetch the last HEAD for the svn mirror 2) make a git-diff between your HEAD and the FETCH_HEAD 3) this result in the patch which you can then cleanly apply to your svn working copy 4) commit it in svn done. On Mar 16, 2012, at 9:58 PM, Miguel de Benito Delgado wrote: > Hi all, thanks for the info. I'll give it a try in a few days when I have > time again. > > On Fri, Mar 16, 2012 at 09:54, Massimiliano Gubinelli <m.gubine...@gmail.com> > wrote: > PLEASE-PLEASE-PLEASE: for the moment refrain from pushing directly from git > to svn (it is possible) but since it is not necessary let's do not experiment > with bugs in git-svn.... > > XDDDD... Ok, but.. shouldn't git svn be quite stable by now? And having to > prepare patches, sync two copies of the repositories... seems error prone and > boring... C'mon, add some risk to your life! > > Just kidding, don't sweat it! > ________________ > Miguel de Benito. > > _______________________________________________ > Texmacs-dev mailing list > Texmacs-dev@gnu.org > https://lists.gnu.org/mailman/listinfo/texmacs-dev
_______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
