Branch renaming shortage

Hi,

I found an issue with local repo update.
Have one remote Repo and 2 local copies of it: Local1 and Local2.
On Local1 create branch "mybranch", so some modifications and push to remote.
Fetch/pull on Local2, relevant file ".git\logs\refs\remotes\origin\mybranch" file is created.
Now on any local, but let's stay with Local1 change character of that branch to root of subbranches.
Eg. Rename "mybranch" to " mybranch/WIP".
Probably this will likely suffice, but I also added another node and sub-nodes, like
mybranch/archive/branch1
mybranch/archive/branch2.
Commit and push - all fine.
Now try to fetch/pull on Local2 - GIT complains about ".git\logs\refs\remotes\origin\mybranch" and that is because locally it is a file whilst GIT assumes it to be no folder and want to write into.

git version 2.51.0.windows.2

Manual delete on Local2 ".git\logs\refs\remotes\origin\mybranch" file and git fetch/pull creates relevant structure.

TIA,
P

________________________________



This email, including any attachments, may contain confidential and/or proprietary information intended only for the use of the recipient. If you are not the intended recipient, any distribution, copying, or use of this email or its attachments is prohibited. If you received this email in error, please reply to the sender immediately and delete this message and any copies.

Bentley Systems has taken all reasonable steps to ensure that this communication is free from viruses, data corruption, and unauthorized alteration. Bentley Systems does not accept liability for any damages that may be incurred as a result of this or any communication by email


[https://cdn2.webdamdb.com/220th_sm_EdpYPzNrja101cmW.jpg?1691764309]