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

Rename "CI-environment" subject type. #8750

Merged
merged 1 commit into from
May 28, 2024
Merged

Conversation

fniessink
Copy link
Member

Rename the "CI-environment" subject type to "Development environment".

Prepares for #3130.

@fniessink fniessink linked an issue May 23, 2024 that may be closed by this pull request
@fniessink fniessink force-pushed the 3130-more-subject-types branch 2 times, most recently from 8bded3f to 24c121b Compare May 23, 2024 18:12
@fniessink fniessink changed the title Rename "CI"-environment" subject type. Rename "CI-environment" subject type. May 23, 2024
@fniessink fniessink added the Subject(s) New, enhanced, or removed subjects label May 23, 2024
@fniessink fniessink added this to the 5.14.0 milestone May 23, 2024
@fniessink fniessink requested a review from wkoot May 23, 2024 21:14
Rename the "CI-environment" subject type to "Development environment".

Prepares for #3130.
@fniessink fniessink enabled auto-merge (rebase) May 28, 2024 12:14
Copy link

sonarcloud bot commented May 28, 2024

@fniessink fniessink merged commit 0f50f90 into master May 28, 2024
39 checks passed
@fniessink fniessink deleted the 3130-more-subject-types branch May 28, 2024 12:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Subject(s) New, enhanced, or removed subjects
Projects
None yet
Development

Successfully merging this pull request may close these issues.

More subject types
2 participants