commit f736cabba58b374aeb96d7512813a39f30567b5a
author Josip Sokcevic <sokcevic@google.com> Tue Oct 20 23:41:38 2020 +0000
committer LUCI CQ <infra-scoped@luci-project-accounts.iam.gserviceaccount.com> Tue Oct 20 23:41:38 2020 +0000
tree c710f8346d05fde2ab525d95a19fddedafe351f1
parent 792630c498fc14ec1525e3b85591f96d4326432e

Add retry on git push failure

This adds retry if target is old default branch. This may happen only if
user didn't fetch remote for extended period of time and old default
branch no longer exists.

R=ehmaldonado@chromium.org

Change-Id: I81981049ee006f68a073718180b454c230d055e9
Reviewed-on: https://chromium-review.googlesource.com/c/chromium/tools/depot_tools/+/2473757
Commit-Queue: Josip Sokcevic <sokcevic@google.com>
Reviewed-by: Edward Lesmes <ehmaldonado@chromium.org>

gerrit_util.py

diff --git a/gerrit_util.py b/gerrit_util.py
index d91312a..aa8a396 100644
--- a/gerrit_util.py
+++ b/gerrit_util.py
@@ -926,6 +926,12 @@
   raise GerritError(200, 'Unable to get gerrit branch')
 
 
+def GetProjectHead(host, project):
+  conn = CreateHttpConn(host,
+                        '/projects/%s/HEAD' % urllib.parse.quote(project, ''))
+  return ReadHttpJsonResponse(conn, accept_statuses=[200])
+
+
 def GetAccountDetails(host, account_id='self'):
   """Returns details of the account.