Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add the PR commented state #40

Merged
merged 3 commits into from
Nov 30, 2023
Merged

Conversation

chouetz
Copy link
Member

@chouetz chouetz commented Nov 23, 2023

not tested

@chouetz chouetz marked this pull request as ready for review November 24, 2023 09:07
README.md Outdated Show resolved Hide resolved
AlexandreYang
AlexandreYang previously approved these changes Nov 24, 2023
Copy link
Member

@AlexandreYang AlexandreYang left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me, thanks !!

Could you test the changes before merging? :)

FlorentClarret
FlorentClarret previously approved these changes Nov 24, 2023
@@ -60,10 +64,14 @@ def main(config: Config) -> None:

Copy link
Member

@AlexandreYang AlexandreYang Nov 24, 2023

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@chouetz
Since completely removing :review_started: could be a possible breaking change (no high risk though, it's just slack emojis.

What we can possibly do is to not add "review started" when "commented" is defined.

from:

new_emojis = {config.emoji_review_started}

into:

new_emojis = {}
if not config.emoji_commented:
  new_emojis.add(config.emoji_review_started)

Copy link

@chouquette chouquette left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

edit: wrong PR to comment on for the test, sorry about that 😬

@chouetz chouetz merged commit d7e0fce into DataDog:master Nov 30, 2023
3 checks passed
@chouetz chouetz deleted the nschweitzer/commented branch November 30, 2023 08:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants