PRs are issues but let's be clear
authorMark J. Cox <mark@awe.com>
Fri, 7 Feb 2020 11:14:22 +0000 (11:14 +0000)
committerMark J. Cox <mark@awe.com>
Fri, 7 Feb 2020 11:39:05 +0000 (11:39 +0000)
github-approve-label-workflow.py

index 8392779b3543fe8d0f4c6dce3ac4212a23f9ce05..ecacdf597a09e20bdec37727332f173c6a40cef1 100644 (file)
@@ -60,7 +60,7 @@ def movelabeldonetoready(issue):
     if (res.status_code != 200):
         print("Error adding label", res.status_code, res.content)
         return
-    newcomment = {"body":"This issue is ready to merge"}
+    newcomment = {"body":"This pull request is ready to merge"}
     url = api_url + "/issues/" + str(issue) + "/comments"
     res = requests.post(url, data=json.dumps(newcomment), headers=headers)
     if (res.status_code != 201):