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

Added new hlt-integration label plus some cleanup #2200

Merged
merged 2 commits into from
Mar 19, 2024
Merged

Conversation

smuzaffar
Copy link
Contributor

Fixes #2192

  • Added hlt-integration type label (with hlt-int as short)
  • cleanup (define label colors in one place)

- Added `hlt-integration` type label (with `hlt-int` as short)
- cleanup (define label colors in one place)
@cmsbuild
Copy link
Contributor

A new Pull Request was created by @smuzaffar for branch master.

@smuzaffar, @cmsbuild, @aandvalenzuela, @iarspider can you please review it and eventually sign? Thanks.
@sextonkennedy, @antoniovilela, @rappoccio you are the release manager for this.
cms-bot commands are listed here

@cmsbuild
Copy link
Contributor

cmsbuild commented Mar 19, 2024

cms-bot internal usage

@cmsbuild
Copy link
Contributor

Pull request #2200 was updated.

@smuzaffar smuzaffar merged commit 6f92645 into master Mar 19, 2024
3 of 4 checks passed
@smuzaffar smuzaffar deleted the smuzaffar-patch-3 branch April 25, 2024 06:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

New PR label for HLT integration
2 participants