mirror of
https://gerrit.googlesource.com/git-repo
synced 2026-09-23 23:30:42 +00:00
e9dc3b33680571731181f30fbd38317d19c24652
This parameter changes the manifest used by 'repo sync' for only this execution. It should be useful for developers wishing to get the repo temporarily into a known state, without clobbering their existing manifest. Tested by shifting Chrome OS between minilayout and full, and between several release-builder-generated manifests. Change-Id: I14194b665195b0e78f368d9ec8b8a83227af2627
Languages
Python
98.3%
Shell
1.7%