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

Feat/switch to pr #105

Merged
merged 1 commit into from
Nov 27, 2023
Merged

Feat/switch to pr #105

merged 1 commit into from
Nov 27, 2023

Conversation

s2-julceb
Copy link
Contributor

In multiple metrics we store the PR number. That number is only unique for each project and will not help us much when we analyze client wide data.
Part of the PR data is also an ID, this one should be unique for the whole "owner" group the projects are associated with.
We need to replace the PR number with the ID, that gives us the possibility to link metrics.

@s2-julceb s2-julceb changed the base branch from main to develop November 24, 2023 08:45
@s2-julceb s2-julceb force-pushed the feat/switch-to-pr-id branch from 87401cc to 4ce3d6f Compare November 24, 2023 09:45
@s2-julceb s2-julceb merged commit 088dd5b into develop Nov 27, 2023
1 check passed
@s2-julceb s2-julceb deleted the feat/switch-to-pr-id branch November 27, 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.

2 participants