Good Blog, Karl
woof.
git Archive
Cleaning up dead git branches
Creating a new remote git repo
pushing an existing local repo to new github repo