mirror of
https://gerrit.googlesource.com/git-repo
synced 2025-01-14 16:14:25 +00:00
superproject: Change bug url to go/repo-bug for missing commit ids.
Tested the code with the following commands. $ ./run_tests -v error: please file a bug using go/repo-bug to report missing commit_ids for: ['art', ... Bug: [google internal] b/186220520. Change-Id: I5f9201f7b7a23f1af9750b54b7d4ca0593258849
This commit is contained in:
commit
dc05652697
@ -272,8 +272,10 @@ class Superproject(object):
|
|||||||
else:
|
else:
|
||||||
projects_missing_commit_ids.append(path)
|
projects_missing_commit_ids.append(path)
|
||||||
if projects_missing_commit_ids:
|
if projects_missing_commit_ids:
|
||||||
|
# TODO(rtenneti): Come up with a solution to support non-google URL for
|
||||||
|
# filing bug reports.
|
||||||
print('error: please file a bug using %s to report missing commit_ids for: %s' %
|
print('error: please file a bug using %s to report missing commit_ids for: %s' %
|
||||||
(Wrapper().BUG_URL, projects_missing_commit_ids), file=sys.stderr)
|
(Wrapper().BUG_URL_GOOGLE, projects_missing_commit_ids), file=sys.stderr)
|
||||||
return None
|
return None
|
||||||
|
|
||||||
manifest_path = self._WriteManfiestFile()
|
manifest_path = self._WriteManfiestFile()
|
||||||
|
3
repo
3
repo
@ -148,6 +148,9 @@ if not REPO_REV:
|
|||||||
# URL to file bug reports for repo tool issues.
|
# URL to file bug reports for repo tool issues.
|
||||||
BUG_URL = 'https://bugs.chromium.org/p/gerrit/issues/entry?template=Repo+tool+issue'
|
BUG_URL = 'https://bugs.chromium.org/p/gerrit/issues/entry?template=Repo+tool+issue'
|
||||||
|
|
||||||
|
# URL to file bug reports for Google specific repo tool issues.
|
||||||
|
BUG_URL_GOOGLE = 'go/repo-bug'
|
||||||
|
|
||||||
# increment this whenever we make important changes to this script
|
# increment this whenever we make important changes to this script
|
||||||
VERSION = (2, 14)
|
VERSION = (2, 14)
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user