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

fix: change fragment ID from ticket ID to PR id #960

Merged
merged 1 commit into from
Jul 24, 2024

Conversation

guilhem-barthes
Copy link
Contributor

Description

Some fragments have been created using their ticket ID instead of the PR IDs

How has this been tested?

Checklist

  • changelog was updated with notable changes
  • documentation was updated

@guilhem-barthes guilhem-barthes requested a review from a team as a code owner July 24, 2024 15:11
Signed-off-by: Guilhem Barthés <guilhem.barthes@owkin.com>
@guilhem-barthes guilhem-barthes force-pushed the fix/wrong-change-fragments-ids branch from fc1a893 to 7eecf99 Compare July 24, 2024 15:13
@guilhem-barthes guilhem-barthes enabled auto-merge (squash) July 24, 2024 15:15
@guilhem-barthes guilhem-barthes merged commit 1526435 into main Jul 24, 2024
7 checks passed
@guilhem-barthes guilhem-barthes deleted the fix/wrong-change-fragments-ids branch July 24, 2024 15:19
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.

2 participants