cleaning up local git branches deleted on a remote - discu.eu

Reddit

Cleaning up local git branches deleted on a remote https://www.erikschierboom.com/2020/02/17/cleaning-up-local-git-branches-deleted-on-a-remote/ 4 comments 17/2/2020 git