Merge branch 'dev' into dev

Author: arjunsuresh

script/push-mlperf-inference-results-to-github/customize.py

@@ -37,7 +37,8 @@ def preprocess(i):
     if env.get('CM_GITHUB_PAT', '') != '':
         token = env['CM_GITHUB_PAT']
         if token == "PAT":
-            env['CM_SET_REMOTE_URL_CMD'] = f"""git remote set-url origin https://\\$PAT@{p.host}/{p.owner}/{p.repo}"""
+            env['CM_SET_REMOTE_URL_CMD'] = r"""git remote set-url origin https://\$PAT@""" + \
+                f"""{p.host}/{p.owner}/{p.repo}"""
         else:
             env['CM_SET_REMOTE_URL_CMD'] = f"""git remote set-url origin https://{token}@{p.host}/{p.owner}/{p.repo}"""