Skip to content

Rename criteria in a more consistent way#366

Merged
glpatcern merged 1 commit into
developfrom
improve-criteria-labels
Jun 9, 2026
Merged

Rename criteria in a more consistent way#366
glpatcern merged 1 commit into
developfrom
improve-criteria-labels

Conversation

@glpatcern

Copy link
Copy Markdown
Member

This is a first pass to address #359.

@MahdiBaghbani

Copy link
Copy Markdown
Member

This is a good start! I need to get back to the little mini refactor (not pushed) I did in Reva and Nextcloud and see based on these changes how easier it becomes and come back for review

@glpatcern glpatcern force-pushed the improve-criteria-labels branch from 686293c to 170bf4b Compare June 5, 2026 07:58
@glpatcern glpatcern merged commit bb275aa into develop Jun 9, 2026
4 checks passed
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.

3 participants