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

[Nikos Alexandris]

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

svn up -r ##### FileName

?

where #... is the revision number.

Thanks, Nikos