Merge pull request 'extend log filter' (#540 ) from filter-logs into main

Reviewed-on: #540
extend log filter
2024-05-22 23:42:19 +02:00 · 2024-05-22 23:41:24 +02:00
1 changed files with 1 additions and 0 deletions
--- a/src/model/user.rs
+++ b/src/model/user.rs
@ -733,6 +733,7 @@ ORDER BY last_access DESC
                "n.sageder",
                "a.almousa",
                "p.hofer",
+                "philipp-hofer",
                "d.kortschak",
                "[login]",
            ]
Author	SHA1	Message	Date
philipp	97b0ae83a9	Merge pull request 'extend log filter' (#540 ) from filter-logs into main All checks were successful CI/CD Pipeline / test (push) Successful in 10m1s Details CI/CD Pipeline / deploy-staging (push) Has been skipped Details CI/CD Pipeline / deploy-main (push) Successful in 8m20s Details Reviewed-on: #540	2024-05-22 23:42:19 +02:00
philipp	f6d8c07c08	extend log filter Some checks failed CI/CD Pipeline / test (push) Has started running Details CI/CD Pipeline / deploy-staging (push) Has been cancelled Details CI/CD Pipeline / deploy-main (push) Has been cancelled Details	2024-05-22 23:41:24 +02:00