@nixCraft
There is no practical reason for git merge or fetch. Copy your file to another folder and remove the git folder. Pull the folder again and move the file back. Commit, push and you are done.
=> More informations about this toot | View the thread | More toots from earl@social.server17.net
=> View nixCraft@mastodon.social profile
text/gemini
This content has been proxied by September (ba2dc).