Merge pull request 'extend filter' (#660 ) from add-filter into main

Reviewed-on: #660
extend filter
2024-07-29 14:27:22 +02:00 · 2024-07-29 14:26:26 +02:00
1 changed files with 1 additions and 0 deletions
--- a/src/model/user.rs
+++ b/src/model/user.rs
@ -735,6 +735,7 @@ ORDER BY last_access DESC
            if ![
                "n-sageder",
                "p-hofer",
+                "marie-birner",
                "daniel-kortschak",
                "rudernlinz",
                "m-birner",
Author	SHA1	Message	Date
philipp	0dd10e1dd6	Merge pull request 'extend filter' (#660 ) from add-filter into main All checks were successful CI/CD Pipeline / test (push) Successful in 10m18s Details CI/CD Pipeline / deploy-staging (push) Has been skipped Details CI/CD Pipeline / deploy-main (push) Successful in 6m30s Details Reviewed-on: #660	2024-07-29 14:27:22 +02:00
philipp	def8028446	extend filter Some checks failed CI/CD Pipeline / deploy-staging (push) Has been cancelled Details CI/CD Pipeline / deploy-main (push) Has been cancelled Details CI/CD Pipeline / test (push) Has been cancelled Details	2024-07-29 14:26:26 +02:00