android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2025-01-14 16:14:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge commit 'refs/changes/22/304322/1' of sso://gerrit/git-repo

Browse Source 
Integrating with the tip.

Change-Id: I5f9201f7b7a23f1af9750b54b7d4ca0593258849
This commit is contained in:
Raman Tenneti 2021-04-26 15:28:29 -07:00
commit a139c12719
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
git_superproject.py
View File

@ -272,8 +272,10 @@ class Superproject(object):
else:
projects_missing_commit_ids.append(path)
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' %
(Wrapper().BUG_URL, projects_missing_commit_ids), file=sys.stderr)
(Wrapper().BUG_URL_GOOGLE, projects_missing_commit_ids), file=sys.stderr)
return None
manifest_path = self._WriteManfiestFile()

3
repo
View File

@ -148,6 +148,9 @@ if not REPO_REV:
# URL to file bug reports for repo tool issues.
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
VERSION = (2, 14)