Pushb/popb: small cli tool that works like pushd/popd, but on Git branchesgithub.com/pwoolcoc1 pointingve7 years ago