Skip to content

Conversation

@yrodiere
Copy link
Member

No description provided.

Copy link
Member

@marko-bekhta marko-bekhta left a comment

Choose a reason for hiding this comment

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

Congratulations on your first pull request 🎉🏆🏅🥳

Good catch! Let's apply it only for the new issues for now (I'm not sure we would want to run a sync on all of the issues to get it fixed in the ones that got created already 🙈)

@marko-bekhta marko-bekhta merged commit a2575e7 into main Oct 28, 2024
1 check passed
@yrodiere
Copy link
Member Author

Congratulations on your first pull request 🎉🏆🏅🥳

Thanks, I know it's a very valuable one :)

Good catch! Let's apply it only for the new issues for now (I'm not sure we would want to run a sync on all of the issues to get it fixed in the ones that got created already 🙈)

Definitely not worth a new sync.

@marko-bekhta marko-bekhta deleted the yrodiere-patch-1 branch October 28, 2024 13:33
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.

3 participants