diff options
author | Josip Sokcevic <sokcevic@google.com> | 2024-01-24 13:54:25 -0800 |
---|---|---|
committer | LUCI <gerrit-scoped@luci-project-accounts.iam.gserviceaccount.com> | 2024-01-25 21:32:58 +0000 |
commit | 4217a82bec7b95c1a0bc7b081a1764a6a6d6c59b (patch) | |
tree | 97b55aa04e1d2e3692b212d9e7438728c86a8423 /main.py | |
parent | 208f34495086eba60f744408aa26b4c62d6db6c6 (diff) | |
download | git-repo-4217a82bec7b95c1a0bc7b081a1764a6a6d6c59b.tar.gz |
project: Rename if deletion failsv2.41
If a project contains files not owned by the current user, remove will
fail. In order to ensure repo sync continues to work, rename the
affected project instead, and let user know about it.
Bug: 321273512
Change-Id: I0779d61fc67042308a0226adea7d98167252a5d3
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/404372
Reviewed-by: Mike Frysinger <vapier@google.com>
Tested-by: Josip Sokcevic <sokcevic@google.com>
Commit-Queue: Josip Sokcevic <sokcevic@google.com>
Diffstat (limited to 'main.py')
0 files changed, 0 insertions, 0 deletions