Git helper for better Github integration (source files)
hub_source-1.12.4-4-source
hub enhances various git commands to ease most common workflows with GitHub. You can more easily fetch and manage remotes and forks, merge commits directly from the website, and even create and update pull requests, all from the command line.