tree 97b55aa04e1d2e3692b212d9e7438728c86a8423
parent 208f34495086eba60f744408aa26b4c62d6db6c6
author Josip Sokcevic <sokcevic@google.com> 1706133265 -0800
committer LUCI <gerrit-scoped@luci-project-accounts.iam.gserviceaccount.com> 1706218378 +0000

project: Rename if deletion fails

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>