[GRASS-dev] Push diffs from local git to grass-addons svn?

[Nikos Alexandris]

Nikos:

> > I committed something in the add-ons with the wrong description for the log and
> > something which was not my intention.
> > Is it enough to use something like...

Markus:

> You find this documented here:
> https://trac.osgeo.org/grass/wiki/HowToSVN#Revertingsubmittedchanges

That's great. I'll fix my unintentional commits asap.

Nikos


ps- we have had a short discussion on keeping a complete local copy of
svn for having the options to move stuff around. Do you really, devs,
keep a complete local copy (>10GB)?