Cleaning of warning comments by soehms · Pull Request #7 · soehms/sage

soehms · 2023-03-26T09:38:02Z

📚 Description

This PR implements the suggestion made in sagemath#35172 (comment).

📝 Checklist

I have made sure that the title is self-explanatory and the description concisely explains the PR.
I have linked an issue or discussion.
I have created tests covering the changes.
I have updated the documentation accordingly.

⌛ Dependencies

gitpod-io · 2023-03-26T09:38:08Z

soehms · 2023-03-26T09:40:44Z

Starting tests for sync_labels

soehms · 2023-03-26T09:40:46Z

Test action opened

soehms · 2023-03-26T09:40:48Z

Test action reopened

soehms · 2023-03-26T09:40:51Z

Test action closed

soehms · 2023-03-26T09:40:52Z

Test action labeled

soehms · 2023-03-26T09:40:56Z

Label Sync Warning: Label s: positive review can not be added. Please use the GitHub review functionality

github-actions · 2023-03-26T09:41:01Z

Label s: needs review can not be removed. Please add the state-label which should replace it

github-actions · 2023-03-26T09:41:02Z

Label s: needs review can not be removed. Please add the state-label which should replace it

github-actions · 2023-03-26T09:41:06Z

Label s: positive review can not be added due to s: needs work!

github-actions · 2023-03-26T09:41:07Z

Label s: positive review can not be added due to s: needs review!

github-actions · 2023-03-26T09:41:12Z

Label s: positive review can not be removed. Please add the state-label which should replace it

github-actions · 2023-03-26T09:41:12Z

Label s: positive review can not be removed. Please add the state-label which should replace it

github-actions · 2023-03-26T09:41:13Z

Label s: needs work can not be added due to s: needs info!

github-actions · 2023-03-26T09:41:14Z

Label s: needs review can not be added due to s: needs info!

github-actions · 2023-03-26T09:41:14Z

Label s: needs review can not be added due to s: needs info!

github-actions · 2023-03-26T09:41:14Z

Label s: needs work can not be added due to s: positive review!

soehms · 2023-03-26T09:42:22Z

Label Sync Warning: Label s: needs review can not be added, since there are unresolved reviews

github-actions · 2023-03-26T09:42:23Z

Label s: needs review can not be removed. Please add the state-label which should replace it

github-actions · 2023-03-26T09:42:23Z

Label s: needs review can not be removed. Please add the state-label which should replace it

soehms

s: needs info

github-actions · 2023-03-26T09:42:30Z

Label s: needs review can not be added. Please use the corresponding functionality of GitHub

github-actions · 2023-03-26T09:42:31Z

Label s: needs review can not be added due to s: needs info!

github-actions · 2023-03-26T09:42:31Z

Label s: needs review can not be added. Please use the corresponding functionality of GitHub

github-actions · 2023-03-26T09:42:35Z

Label s: needs review can not be removed. Please add the state-label which should replace it

github-actions · 2023-03-26T09:42:36Z

Label s: needs review can not be removed. Please add the state-label which should replace it

github-actions · 2023-03-26T09:42:49Z

Label s: needs work can not be added due to s: needs info!

github-actions · 2023-03-26T09:42:49Z

Label s: needs work can not be added due to s: needs review!

soehms · 2023-03-26T09:53:05Z

Logmessages of run_tests:

$ .github/sync_labels.py https://github.com/soehms/sage/pull/7 sagetrac-github-bot
INFO:root:cmdline_args (2) ['https://github.com/soehms/sage/pull/7', 'sagetrac-github-bot']
INFO:root:url: https://github.com/soehms/sage/pull/7
INFO:root:actor: sagetrac-github-bot
INFO:root:Create label handler for pull request #7 and actor sagetrac-github-bot
INFO:root:Cleaning warning comments since 2023-03-25 23:40:43.461445 (total found 1)
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Starting tests for sync_labels"
https://github.com/soehms/sage/pull/7#issuecomment-1484045255
INFO:root:Add comment to pull request #7: Starting tests for sync_labels
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Test action opened"
https://github.com/soehms/sage/pull/7#issuecomment-1484045265
INFO:root:Add comment to pull request #7: Test action opened
INFO:root:Issue pull request #7 is draft False
INFO:root:List of labels for pull request #7: ['s: needs review']
INFO:root:Active partners of  State.needs_review: []
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Test action reopened"
https://github.com/soehms/sage/pull/7#issuecomment-1484045274
INFO:root:Add comment to pull request #7: Test action reopened
INFO:root:List of labels for pull request #7: ['s: needs review']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: needs review"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: needs review
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Test action closed"
https://github.com/soehms/sage/pull/7#issuecomment-1484045287
INFO:root:Add comment to pull request #7: Test action closed
INFO:root:List of labels for pull request #7: []
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Test action labeled"
https://github.com/soehms/sage/pull/7#issuecomment-1484045292
INFO:root:Add comment to pull request #7: Test action labeled
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "s: positive review"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: s: positive review
INFO:root:List of labels for pull request #7: ['s: positive review']
DEBUG:root:Reviews for pull request #7: []
INFO:root:PR pull request #7 can't be approved because of missing member review
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Label Sync Warning: Label *s: positive review* can not be added. Please use the GitHub review functionality"
https://github.com/soehms/sage/pull/7#issuecomment-1484045310
INFO:root:Add comment to pull request #7: Label Sync Warning: Label *s: positive review* can not be added. Please use the GitHub review functionality
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: positive review"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: positive review
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "s: needs work"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: s: needs work
INFO:root:List of labels for pull request #7: ['s: needs work']
DEBUG:root:Reviews for pull request #7: []
INFO:root:Issue pull request #7 is draft False
DEBUG:root:Execute command: gh pr review https://github.com/soehms/sage/pull/7 -b "sagetrac-github-bot requested changes for this PR" "--request-changes"
failed to create review: Message: Can not request changes on your own pull request, Locations: [{Line:1 Column:66}]
WARNING:root:Execution of gh pr review https://github.com/soehms/sage/pull/7 -b "sagetrac-github-bot requested changes for this PR" "--request-changes" failed with exit code: 256
INFO:root:Changes requested for PR pull request #7 by sagetrac-github-bot
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "s: needs review"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: s: needs review
INFO:root:List of labels for pull request #7: ['s: needs review', 's: needs work']
INFO:root:Issue pull request #7 is draft False
DEBUG:root:Reviews for pull request #7: []
INFO:root:PR pull request #7 needs review
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: needs work"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: needs work
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "s: needs info"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: s: needs info
INFO:root:List of labels for pull request #7: ['s: needs info', 's: needs review']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: needs review"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: needs review
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "p: blocker /1"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: p: blocker /1
INFO:root:List of labels for pull request #7: ['p: blocker /1', 's: needs info']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "p: critical /2"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: p: critical /2
INFO:root:List of labels for pull request #7: ['p: critical /2', 'p: blocker /1', 's: needs info']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "p: blocker /1"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: p: blocker /1
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "p: major /3"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: p: major /3
INFO:root:List of labels for pull request #7: ['p: major /3', 'p: critical /2', 's: needs info', 's: positive review']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "p: critical /2"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: p: critical /2
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "p: minor /4"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: p: minor /4
INFO:root:List of labels for pull request #7: ['p: minor /4', 'p: major /3', 's: needs info', 's: needs work']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "p: major /3"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: p: major /3
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "p: trivial /5"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: p: trivial /5
INFO:root:List of labels for pull request #7: ['p: trivial /5', 'p: minor /4', 's: needs info', 's: needs review']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "p: minor /4"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: p: minor /4
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "r: worksforme"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: r: worksforme
INFO:root:List of labels for pull request #7: ['p: trivial /5', 's: needs info', 's: needs review', 'r: worksforme']
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Test action unlabeled"
https://github.com/soehms/sage/pull/7#issuecomment-1484045429
INFO:root:Add comment to pull request #7: Test action unlabeled
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Label Sync Warning: Label *s: positive review* can not be removed. Please add the state-label which should replace it"
https://github.com/soehms/sage/pull/7#issuecomment-1484045434
INFO:root:Add comment to pull request #7: Label Sync Warning: Label *s: positive review* can not be removed. Please add the state-label which should replace it
INFO:root:List of labels for pull request #7: ['p: trivial /5', 'p: critical /2', 'p: blocker /1', 's: needs info', 's: needs review', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "s: positive review"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: s: positive review
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Label Sync Warning: Label *s: needs work* can not be removed. Please add the state-label which should replace it"
https://github.com/soehms/sage/pull/7#issuecomment-1484045442
INFO:root:Add comment to pull request #7: Label Sync Warning: Label *s: needs work* can not be removed. Please add the state-label which should replace it
INFO:root:List of labels for pull request #7: ['p: trivial /5', 'p: critical /2', 'p: blocker /1', 's: needs info', 's: needs review', 's: positive review', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "s: needs work"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: s: needs work
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: needs review"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: needs review
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Label Sync Warning: Label *s: needs review* can not be removed. Please add the state-label which should replace it"
https://github.com/soehms/sage/pull/7#issuecomment-1484045452
INFO:root:Add comment to pull request #7: Label Sync Warning: Label *s: needs review* can not be removed. Please add the state-label which should replace it
INFO:root:List of labels for pull request #7: ['p: trivial /5', 'p: minor /4', 'p: major /3', 's: needs info', 's: needs work', 's: positive review', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "s: needs review"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: s: needs review
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: needs info"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: needs info
INFO:root:List of labels for pull request #7: ['p: trivial /5', 's: needs review', 's: needs work', 's: positive review', 'r: worksforme']
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Label Sync Warning: Label *p: blocker /1* can not be removed. Please add the priority-label which should replace it"
https://github.com/soehms/sage/pull/7#issuecomment-1484045479
INFO:root:Add comment to pull request #7: Label Sync Warning: Label *p: blocker /1* can not be removed. Please add the priority-label which should replace it
INFO:root:List of labels for pull request #7: ['s: needs review', 's: needs work', 's: positive review', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "p: blocker /1"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: p: blocker /1
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Label Sync Warning: Label *p: critical /2* can not be removed. Please add the priority-label which should replace it"
https://github.com/soehms/sage/pull/7#issuecomment-1484045494
INFO:root:Add comment to pull request #7: Label Sync Warning: Label *p: critical /2* can not be removed. Please add the priority-label which should replace it
INFO:root:List of labels for pull request #7: ['p: blocker /1', 's: needs review', 's: needs work', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "p: critical /2"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: p: critical /2
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Label Sync Warning: Label *p: major /3* can not be removed. Please add the priority-label which should replace it"
https://github.com/soehms/sage/pull/7#issuecomment-1484045508
INFO:root:Add comment to pull request #7: Label Sync Warning: Label *p: major /3* can not be removed. Please add the priority-label which should replace it
INFO:root:List of labels for pull request #7: ['p: critical /2', 'p: blocker /1', 's: needs work', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "p: major /3"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: p: major /3
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Label Sync Warning: Label *p: minor /4* can not be removed. Please add the priority-label which should replace it"
https://github.com/soehms/sage/pull/7#issuecomment-1484045519
INFO:root:Add comment to pull request #7: Label Sync Warning: Label *p: minor /4* can not be removed. Please add the priority-label which should replace it
INFO:root:List of labels for pull request #7: ['p: major /3', 'p: critical /2', 'p: blocker /1', 's: needs review', 's: needs work', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "p: minor /4"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: p: minor /4
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Label Sync Warning: Label *p: trivial /5* can not be removed. Please add the priority-label which should replace it"
https://github.com/soehms/sage/pull/7#issuecomment-1484045526
INFO:root:Add comment to pull request #7: Label Sync Warning: Label *p: trivial /5* can not be removed. Please add the priority-label which should replace it
INFO:root:List of labels for pull request #7: ['p: minor /4', 'p: major /3', 'p: critical /2', 'p: blocker /1', 's: needs review', 's: needs work', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "p: trivial /5"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: p: trivial /5
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Test action ready_for_review"
https://github.com/soehms/sage/pull/7#issuecomment-1484045537
INFO:root:Add comment to pull request #7: Test action ready_for_review
INFO:root:Issue pull request #7 is draft False
DEBUG:root:Reviews for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}]
INFO:root:Commits until 2023-03-26T09:34:13Z for pull request #7: [{'authoredDate': '2023-03-26T09:34:13Z', 'authors': [{'email': 'seb.oehms@gmail.com', 'id': 'MDQ6VXNlcjQ3MzA1ODQ1', 'login': 'soehms', 'name': 'Sebastian Oehms'}], 'committedDate': '2023-03-26T09:34:13Z', 'messageBody': '', 'messageHeadline': 'clean_warning_comments initial', 'oid': 'ebc67f3fd2e5b71804b4a98875c3c67f9f4c901e'}]
INFO:root:Proper reviews after 2023-03-26T09:34:13Z for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}]
INFO:root:Review decision for pull request #7: CHANGES_REQUESTED
INFO:root:PR pull request #7 needs work (by decision)
INFO:root:PR pull request #7 already under review (needs work)
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Test action synchronize"
https://github.com/soehms/sage/pull/7#issuecomment-1484045547
INFO:root:Add comment to pull request #7: Test action synchronize
INFO:root:Issue pull request #7 is draft False
DEBUG:root:Reviews for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}]
INFO:root:Commits until 2023-03-26T09:34:13Z for pull request #7: [{'authoredDate': '2023-03-26T09:34:13Z', 'authors': [{'email': 'seb.oehms@gmail.com', 'id': 'MDQ6VXNlcjQ3MzA1ODQ1', 'login': 'soehms', 'name': 'Sebastian Oehms'}], 'committedDate': '2023-03-26T09:34:13Z', 'messageBody': '', 'messageHeadline': 'clean_warning_comments initial', 'oid': 'ebc67f3fd2e5b71804b4a98875c3c67f9f4c901e'}]
INFO:root:Proper reviews after 2023-03-26T09:34:13Z for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}]
INFO:root:Review decision for pull request #7: CHANGES_REQUESTED
INFO:root:PR pull request #7 needs work (by decision)
INFO:root:PR pull request #7 already under review (needs work)
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Test action review_requested"
https://github.com/soehms/sage/pull/7#issuecomment-1484045562
INFO:root:Add comment to pull request #7: Test action review_requested
INFO:root:List of labels for pull request #7: ['p: blocker /1', 's: needs review', 's: needs work', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: needs work"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: needs work
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Test action converted_to_draft"
https://github.com/soehms/sage/pull/7#issuecomment-1484045576
INFO:root:Add comment to pull request #7: Test action converted_to_draft
INFO:root:List of labels for pull request #7: ['p: blocker /1', 's: needs review', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: needs review"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: needs review
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Test action submitted"
https://github.com/soehms/sage/pull/7#issuecomment-1484045598
INFO:root:Add comment to pull request #7: Test action submitted
DEBUG:root:Execute command: gh pr review https://github.com/soehms/sage/pull/7 -b "s: positive review" "--comment"
- Reviewed pull request #7
INFO:root:Add review comment for PR pull request #7: s: positive review
DEBUG:root:Reviews for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: positive review', 'submittedAt': '2023-03-26T09:42:13Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}]
DEBUG:root:Execute command: gh pr review https://github.com/soehms/sage/pull/7 -b "s: needs work" "--comment"
- Reviewed pull request #7
INFO:root:Add review comment for PR pull request #7: s: needs work
DEBUG:root:Reviews for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: positive review', 'submittedAt': '2023-03-26T09:42:13Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs work', 'submittedAt': '2023-03-26T09:42:15Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}]
DEBUG:root:Execute command: gh pr review https://github.com/soehms/sage/pull/7 -b "s: needs review" "--comment"
- Reviewed pull request #7
INFO:root:Add review comment for PR pull request #7: s: needs review
DEBUG:root:Reviews for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: positive review', 'submittedAt': '2023-03-26T09:42:13Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs work', 'submittedAt': '2023-03-26T09:42:15Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs review', 'submittedAt': '2023-03-26T09:42:16Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}]
INFO:root:List of labels for pull request #7: ['p: blocker /1', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "s: needs review"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: s: needs review
INFO:root:List of labels for pull request #7: ['p: blocker /1', 's: needs review', 'r: worksforme']
INFO:root:Issue pull request #7 is draft False
DEBUG:root:Reviews for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: positive review', 'submittedAt': '2023-03-26T09:42:13Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs work', 'submittedAt': '2023-03-26T09:42:15Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs review', 'submittedAt': '2023-03-26T09:42:16Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}]
INFO:root:Commits until 2023-03-26T09:34:13Z for pull request #7: [{'authoredDate': '2023-03-26T09:34:13Z', 'authors': [{'email': 'seb.oehms@gmail.com', 'id': 'MDQ6VXNlcjQ3MzA1ODQ1', 'login': 'soehms', 'name': 'Sebastian Oehms'}], 'committedDate': '2023-03-26T09:34:13Z', 'messageBody': '', 'messageHeadline': 'clean_warning_comments initial', 'oid': 'ebc67f3fd2e5b71804b4a98875c3c67f9f4c901e'}]
INFO:root:Proper reviews after 2023-03-26T09:34:13Z for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}]
INFO:root:Review decision for pull request #7: CHANGES_REQUESTED
INFO:root:PR pull request #7 needs work (by decision)
INFO:root:PR pull request #7 already under review (needs work)
DEBUG:root:Execute command: gh pr comment https://github.com/soehms/sage/pull/7 -b "Label Sync Warning: Label *s: needs review* can not be added, since there are unresolved reviews"
https://github.com/soehms/sage/pull/7#issuecomment-1484045642
INFO:root:Add comment to pull request #7: Label Sync Warning: Label *s: needs review* can not be added, since there are unresolved reviews
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: needs review"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: needs review
DEBUG:root:Execute command: gh pr review https://github.com/soehms/sage/pull/7 -b "s: needs info" "--comment"
- Reviewed pull request #7
INFO:root:Add review comment for PR pull request #7: s: needs info
DEBUG:root:Reviews for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: positive review', 'submittedAt': '2023-03-26T09:42:13Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs work', 'submittedAt': '2023-03-26T09:42:15Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs review', 'submittedAt': '2023-03-26T09:42:16Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs info', 'submittedAt': '2023-03-26T09:42:25Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}]
INFO:root:List of labels for pull request #7: ['p: blocker /1', 's: needs review', 's: needs work', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "s: needs info"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: s: needs info
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: needs work"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: needs work
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: needs review"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: needs review
INFO:root:List of labels for pull request #7: ['p: blocker /1', 's: needs info', 'r: worksforme']
DEBUG:root:Execute command: gh pr review https://github.com/soehms/sage/pull/7 -b "sagetrac-github-bot approved this PR" "--approve"
failed to create review: Message: Can not approve your own pull request, Locations: [{Line:1 Column:66}]
WARNING:root:Execution of gh pr review https://github.com/soehms/sage/pull/7 -b "sagetrac-github-bot approved this PR" "--approve" failed with exit code: 256
INFO:root:PR pull request #7 approved by sagetrac-github-bot
DEBUG:root:Reviews for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: positive review', 'submittedAt': '2023-03-26T09:42:13Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs work', 'submittedAt': '2023-03-26T09:42:15Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs review', 'submittedAt': '2023-03-26T09:42:16Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs info', 'submittedAt': '2023-03-26T09:42:25Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}]
INFO:root:Commits until 2023-03-26T09:34:13Z for pull request #7: [{'authoredDate': '2023-03-26T09:34:13Z', 'authors': [{'email': 'seb.oehms@gmail.com', 'id': 'MDQ6VXNlcjQ3MzA1ODQ1', 'login': 'soehms', 'name': 'Sebastian Oehms'}], 'committedDate': '2023-03-26T09:34:13Z', 'messageBody': '', 'messageHeadline': 'clean_warning_comments initial', 'oid': 'ebc67f3fd2e5b71804b4a98875c3c67f9f4c901e'}]
INFO:root:Proper reviews after 2023-03-26T09:34:13Z for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}]
INFO:root:Review decision for pull request #7: CHANGES_REQUESTED
INFO:root:PR pull request #7 doesn't have positve review (by decision)
DEBUG:root:Execute command: gh pr review https://github.com/soehms/sage/pull/7 -b "sagetrac-github-bot requested changes for this PR" "--request-changes"
failed to create review: Message: Can not request changes on your own pull request, Locations: [{Line:1 Column:66}]
WARNING:root:Execution of gh pr review https://github.com/soehms/sage/pull/7 -b "sagetrac-github-bot requested changes for this PR" "--request-changes" failed with exit code: 256
INFO:root:Changes requested for PR pull request #7 by sagetrac-github-bot
DEBUG:root:Reviews for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: positive review', 'submittedAt': '2023-03-26T09:42:13Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs work', 'submittedAt': '2023-03-26T09:42:15Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs review', 'submittedAt': '2023-03-26T09:42:16Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}, {'author': {'login': 'soehms'}, 'authorAssociation': 'OWNER', 'body': 's: needs info', 'submittedAt': '2023-03-26T09:42:25Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'COMMENTED'}]
INFO:root:Commits until 2023-03-26T09:34:13Z for pull request #7: [{'authoredDate': '2023-03-26T09:34:13Z', 'authors': [{'email': 'seb.oehms@gmail.com', 'id': 'MDQ6VXNlcjQ3MzA1ODQ1', 'login': 'soehms', 'name': 'Sebastian Oehms'}], 'committedDate': '2023-03-26T09:34:13Z', 'messageBody': '', 'messageHeadline': 'clean_warning_comments initial', 'oid': 'ebc67f3fd2e5b71804b4a98875c3c67f9f4c901e'}]
INFO:root:Proper reviews after 2023-03-26T09:34:13Z for pull request #7: [{'author': {'login': 'github-actions'}, 'authorAssociation': 'NONE', 'body': 'soehms requested changes for this PR', 'submittedAt': '2023-03-26T09:41:46Z', 'includesCreatedEdit': False, 'reactionGroups': [], 'state': 'CHANGES_REQUESTED'}]
INFO:root:Review decision for pull request #7: CHANGES_REQUESTED
INFO:root:PR pull request #7 needs work (by decision)
INFO:root:List of labels for pull request #7: ['p: blocker /1', 's: needs info', 'r: worksforme']
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --add-label "s: needs work"
https://github.com/soehms/sage/pull/7
INFO:root:Add label to pull request #7: s: needs work
DEBUG:root:Execute command: gh pr edit https://github.com/soehms/sage/pull/7 --remove-label "s: needs info"
https://github.com/soehms/sage/pull/7
INFO:root:Remove label from pull request #7: s: needs info

soehms · 2023-03-26T09:56:56Z

I remove the pull_request trigger since it seems to be redundant because of pull_request_target.

clean_warning_comments initial

ebc67f3

github-actions bot added the s: needs review label Mar 26, 2023

soehms removed the s: needs review label Mar 26, 2023

soehms added the s: positive review label Mar 26, 2023

soehms added s: needs work and removed s: positive review labels Mar 26, 2023

soehms added the s: needs review label Mar 26, 2023

soehms removed the s: needs work label Mar 26, 2023

soehms added s: needs info p: blocker /1 and removed s: needs review labels Mar 26, 2023

soehms added the p: critical /2 label Mar 26, 2023

github-actions bot added the s: positive review label Mar 26, 2023

soehms added the s: needs review label Mar 26, 2023

github-actions bot added the s: needs work label Mar 26, 2023

soehms removed the s: needs review label Mar 26, 2023

github-actions bot added the s: needs review label Mar 26, 2023

soehms commented Mar 26, 2023

View reviewed changes

github-actions bot added s: needs info and removed s: needs work labels Mar 26, 2023

github-actions bot removed the s: needs review label Mar 26, 2023

github-actions bot added the s: needs review label Mar 26, 2023

soehms added s: needs work and removed s: needs info labels Mar 26, 2023

github-actions bot added s: needs info and removed s: needs work s: needs review labels Mar 26, 2023

clean_warning_comments remove pull_request trigger from workflow

e0c9251

github-actions bot added s: needs review and removed s: needs info labels Mar 26, 2023

soehms mentioned this pull request Mar 26, 2023

New workflow for synchronization of labels sagemath/sage#35172

Merged

4 tasks

Conversation

soehms commented Mar 26, 2023 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

📚 Description

📝 Checklist

⌛ Dependencies

Uh oh!

gitpod-io bot commented Mar 26, 2023

Uh oh!

soehms commented Mar 26, 2023

Uh oh!

soehms commented Mar 26, 2023

Uh oh!

soehms commented Mar 26, 2023

Uh oh!

soehms commented Mar 26, 2023

Uh oh!

soehms commented Mar 26, 2023

Uh oh!

soehms commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

soehms commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

soehms left a comment

Choose a reason for hiding this comment

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

github-actions bot commented Mar 26, 2023

Uh oh!

soehms commented Mar 26, 2023

Uh oh!

soehms commented Mar 26, 2023

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

soehms commented Mar 26, 2023 •

edited

Loading