Git

Useful commands

Deleting local git branches that have been merged on the remote, using PowerShell:

git branch --merged | %{$_.trim()} | ?{$_ -notmatch 'develop' -and $_ -notmatch 'master'} | %{git branch -d $_}

Forcing a change without making any actual changes, e.g. to re-trigger a GitHub workflow:

git commit -m 'Empty change' --allow-empty && git push

Resets your branch to the state of your remote tracking branch:

git config --global alias.unfuck 'reset --hard @{upstream}'

git unfuck