$ 0 0 which are requests from other developers to add their code to the repository. What about the existing GitHub tool called hub, which wraps and extends git with additional GitHub features?