Convenience programs for using git with github