Skip to content

hide disabled PI groups from groups.php#568

Merged
simonLeary42 merged 1 commit intomainfrom
groups-php-ignore-ghost-groups
Jan 23, 2026
Merged

hide disabled PI groups from groups.php#568
simonLeary42 merged 1 commit intomainfrom
groups-php-ignore-ghost-groups

Conversation

@simonLeary42
Copy link
Member

@simonLeary42 simonLeary42 commented Jan 23, 2026

this should have been part of #560

@simonLeary42 simonLeary42 merged commit 0030ef7 into main Jan 23, 2026
3 checks passed
@simonLeary42 simonLeary42 deleted the groups-php-ignore-ghost-groups branch January 23, 2026 22:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant