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 unique id to configuration. #376

Merged
merged 1 commit into from
Sep 30, 2024
Merged

Add unique id to configuration. #376

merged 1 commit into from
Sep 30, 2024

Conversation

soulgalore
Copy link
Collaborator

The id is used in the report.json files and before this change all files have the same id inherited from the common config (Mediawiki).

By adding a unique id, we can use the report.json files directly and send metrics to our time series database.

The id is used in the report.json files and before this change
all files have the same id inherited from the common config.

By adding a unique id, we can use the report.json files directly
and send metrics to our time series database.
@soulgalore soulgalore changed the title Add unique id to each configuration. Add unique id to configuration. Sep 27, 2024
@montehurd montehurd merged commit 0914de2 into main Sep 30, 2024
1 check passed
@montehurd montehurd deleted the add-id branch September 30, 2024 21:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants