Skip to content

Add resolution list#4

Merged
soehms merged 1 commit intosync_labelsfrom
sync_labels_resolution
Mar 13, 2023
Merged

Add resolution list#4
soehms merged 1 commit intosync_labelsfrom
sync_labels_resolution

Conversation

@soehms
Copy link
Copy Markdown
Owner

@soehms soehms commented Mar 13, 2023 •
edited
Loading

📚 Description

According to sagemath/trac-to-github#117 (comment) the resolution list is taken into account for label synchronization, too.

📝 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
Copy link
Copy Markdown

gitpod-io bot commented Mar 13, 2023

@soehms
Copy link
Copy Markdown
Owner Author

soehms commented Mar 13, 2023

Starting tests for sync_labels

@soehms
Copy link
Copy Markdown
Owner Author

soehms commented Mar 13, 2023

Test action opened

@soehms
Copy link
Copy Markdown
Owner Author

soehms commented Mar 13, 2023

Test action reopened

@soehms
Copy link
Copy Markdown
Owner Author

soehms commented Mar 13, 2023

Test action closed

@soehms
Copy link
Copy Markdown
Owner Author

soehms commented Mar 13, 2023

Test action labeled

@soehms
Copy link
Copy Markdown
Owner Author

soehms commented Mar 13, 2023

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

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

1 similar comment
@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

1 similar comment
@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

1 similar comment
@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

Label p: minor /4 can not be removed. Please add the priority-label which should replace it

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

Label p: minor /4 can not be added due to p: critical /2!

@soehms
Copy link
Copy Markdown
Owner Author

soehms commented Mar 13, 2023

Test action review_requested

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

Label p: trivial /5 can not be removed. Please add the priority-label which should replace it

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

Label p: trivial /5 can not be removed. Please add the priority-label which should replace it

@soehms
Copy link
Copy Markdown
Owner Author

soehms commented Mar 13, 2023

Test action converted_to_draft

@soehms
Copy link
Copy Markdown
Owner Author

soehms commented Mar 13, 2023

Test action submitted

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

1 similar comment
@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

1 similar comment
@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

1 similar comment
@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

1 similar comment
@github-actions
Copy link
Copy Markdown

github-actions bot commented Mar 13, 2023

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@github-actions github-actions[bot] github-actions[bot] requested changes

Assignees

No one assigned

Labels

p: trivial /5 r: invalid Invalid

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@soehms