Using the short syntax for Github repositories