Fix pull, etc., with bad tags and remote refs locally
Previously, having a bad tag or remote ref in the Git repository/state might break many local commands that inspect repository state.
On May 22, 2025, we will begin removing users who have never been confirmed or have never been active.
Contact the support if your user has been wrongly removed.
Previously, having a bad tag or remote ref in the Git repository/state might break many local commands that inspect repository state.