diff options
| author | Nico Sallembien <nsallembien@google.com> | 2010-04-26 11:17:29 -0700 |
|---|---|---|
| committer | Nico Sallembien <nsallembien@google.com> | 2010-04-26 11:19:07 -0700 |
| commit | 5732e47ebb7a096e3afad49687098c4181c4b300 (patch) | |
| tree | a4a3a2ff650b14471b5bb1337acf594ff872a097 /git_config.py | |
| parent | f3fdf823cf9785e4ceca3e8416b719282d84b6d0 (diff) | |
| download | git-repo-5732e47ebb7a096e3afad49687098c4181c4b300.tar.gz | |
Strip refs/heads in the branch sent to the manifest server.
The manifest server doesn't want to have refs/heads passed to it, so
we need to strip that when the branch contains it.
Change-Id: I044f8a9629220e886fd5e02e3c1ac4b4bb6020ba
Diffstat (limited to 'git_config.py')
0 files changed, 0 insertions, 0 deletions