Home
About
Mastodon
git
Git
March 20, 2020
git branch -r –merged |grep -v master |sed ’s/origin///' |xargs -n 1 git push –delete origin