topic: git

Cleaning up dead git branches

A super neat git trick for finding out which branches we can delete when we want to do a little housekeeping

pushing an existing local repo to new github repo

Creating a new remote git repo