auto-extract repo revs from svn or git as needed (make 4.0 branch happy, too)