repo cannot handle git rc release versions

[GoogleCodeExporter]

What steps will reproduce the problem?
1. % git --version                         (W49 - 12/10@13:34:50 UTC)
git version 1.8.3-rc3
2. try to use repo

What is the expected output?
it works

What do you see instead?
it doesn't

Please provide any additional information below.

patch:
diff --git a/repo b/repo
index 277bbc6..ff5fa0c 100755
--- a/repo
+++ b/repo
@@ -295,7 +295,7 @@ def _CheckGitVersion():
     raise CloneFailure()

   ver_str = ver_str[len('git version '):].strip()
-  ver_act = tuple(map(int, ver_str.split('.')[0:3]))
+  ver_act = tuple(map(int, ver_str.split('-')[0].split('.')[0:3]))
   if ver_act < MIN_GIT_VERSION:
     need = '.'.join(map(str, MIN_GIT_VERSION))
     _print('fatal: git %s or later required' % need, file=sys.stderr)

Original issue reported on code.google.com by ro...@viroteck.net on 10 Dec 2013 at 1:46

[GoogleCodeExporter]

Fix this please

Original comment by Kilianvonpflugk on 18 Jan 2014 at 1:51

[GoogleCodeExporter]

I think this is a duplicate of 
https://code.google.com/p/git-repo/issues/detail?id=146

Original comment by voluntar...@gmail.com on 30 Jan 2014 at 3:04

[GoogleCodeExporter]

The git-repo project does not accept patch files.  Please sign the CLA and 
upload your change for review at https://gerrit-review.googlesource.com

Original comment by david.pu...@sonymobile.com on 16 Jul 2014 at 9:45