add -github-repo

fixes -pr command for HTTPS remote URLs