Skip to content
New issue

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

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

Already on GitHub? # to your account

[ci] Rename {PROMETHEUS,LOKI}_ID to {PROMETHEUS,LOKI}_USERNAME #3652

Merged
merged 1 commit into from
Jan 16, 2025

Conversation

marun
Copy link
Contributor

@marun marun commented Jan 16, 2025

Why this should be merged

Not sure why I chose ID, but its inconsistent with all the examples on the internet.

How this was tested

CI

Need to be documented in RELEASES.md?

N/A

Not sure why I chose ID, but its inconsistent with all the examples on
the internet.
@marun marun added the ci This focuses on changes to the CI process label Jan 16, 2025
@marun marun self-assigned this Jan 16, 2025
@StephenButtolph StephenButtolph added this pull request to the merge queue Jan 16, 2025
Merged via the queue into master with commit e07dc1b Jan 16, 2025
22 checks passed
@StephenButtolph StephenButtolph deleted the ci-rename-id-to-username branch January 16, 2025 16:41
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
ci This focuses on changes to the CI process
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

4 participants