Skip to content

Conversation

@josephdecock
Copy link
Member

Minor rename but I thought "PoPDPoP" was kinda silly...

@josephdecock josephdecock self-assigned this Jun 12, 2025
@josephdecock josephdecock requested a review from bhazen as a code owner June 12, 2025 01:50
@josephdecock josephdecock added area/products/identity-server Related to Identity Server impact/non-breaking The fix or change is not a breaking one labels Jun 12, 2025
@josephdecock josephdecock added this to the is-7.3.0 milestone Jun 12, 2025
@josephdecock josephdecock merged commit b1ec869 into main Jun 12, 2025
19 checks passed
@josephdecock josephdecock deleted the jmdc/simplify-pop-names branch June 12, 2025 06:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

area/products/identity-server Related to Identity Server impact/non-breaking The fix or change is not a breaking one

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants