Delete Local Git Branches Whose Remote Was Deleted
When working with feature branches, it’s easy for your local repository to accumulate branches that were already deleted on the remote. This snippet safely removes all local branches whose…
Switch remote HTTPS to SSH in Git
Quick snippet to switch a Git remote URL from HTTPS to SSH for easier authentication with SSH keys.
git remote -v
git remote set-url origin git@github.com:USERNAME/REPOSITORY.gitCredit: docs.github.com/en/get-started/getting-started-with-git/managing-remote-repositories
Convert Image to WebP
Quickly convert a PNG image to the modern WebP format using the cwebp CLI tool. This command sets the output quality to 80%, striking a good balance between file size and visual clarity…
Find Dirty Git Repositories
A tiny shell script that recursively scans a directory for Git repositories with uncommitted changes, nicknamed dirgit—a play on words combining "directory", "dirty", and "git".