commit 94ba8a26d8d35af76c36da717ff6bd88350ae677
author Josip Sokcevic <sokcevic@google.com> Tue Mar 02 23:56:34 2021 +0000
committer LUCI CQ <infra-scoped@luci-project-accounts.iam.gserviceaccount.com> Tue Mar 02 23:56:34 2021 +0000
tree dae9cda39c9f13e853767ba30a9d2f9f1bcb741a
parent 1eaaab5c1fa1ba4ecd42c6f0b23d164174cfd6cd

Update origin HEAD when running git migration

This updates local reference to origin/HEAD, which is necessary for
new-branch to work as expected.

R=ehmaldonado@google.com

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

git_migrate_default_branch.py

diff --git a/git_migrate_default_branch.py b/git_migrate_default_branch.py
index a605059..71be696 100644
--- a/git_migrate_default_branch.py
+++ b/git_migrate_default_branch.py
@@ -54,7 +54,10 @@
   if project_head != 'refs/heads/main':
     raise RuntimeError("The repository is not migrated yet.")
 
+  logging.info("Running fetch...")
   git_common.run('fetch', remote)
+  logging.info("Updating remote HEAD...")
+  git_common.run('remote', 'set-head', '-a', remote)
 
   branches = git_common.get_branches_info(True)