Learn more about these different git repos.
Other Git URLs
9f91f9f
@@ -150,6 +150,10 @@
args = parser.parse_args()
+ if not hasattr(args, "command"):
+ parser.print_help()
+ sys.exit(0)
+
if args.server is None:
odcs_url = env_config[args.infra][args.env]['server_url']
else:
pretty please pagure-ci rebuild
+1
Pull-Request has been merged by jkaluza