Random git stuff, and some prompt improvements
prompt detection improvement
git config blergy gloarb
a command for setting the git origin to github
pr: merge a pull req by ID or URL