pushing changed to GitHub, to become effective via GH-SVN bridge.