Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Dynamic Configuration with Admin Page + Artemis Teams #124

Merged
merged 60 commits into from
Nov 24, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
60 commits
Select commit Hold shift + click to select a range
1b009ab
Dynamic Config /Admin Page
GODrums Oct 20, 2024
237578f
Get meta data from config
GODrums Oct 20, 2024
9dfd5aa
Create Team entity
GODrums Oct 20, 2024
a4dcf5e
Admin user team table
GODrums Oct 21, 2024
3faeda1
Extract GH-Label component
GODrums Oct 21, 2024
2414ba4
Add refresh button
GODrums Oct 22, 2024
7f5a2e9
fix: overlapping icon and text
GODrums Oct 22, 2024
9a73a4f
Add admin layout
GODrums Oct 22, 2024
2b07310
chore: update API specs and client
github-actions[bot] Oct 22, 2024
fab7203
Add Admin Teams table
GODrums Oct 23, 2024
69205e0
fix: team create endpoint
GODrums Oct 23, 2024
3d59fba
Leaderboard teams filter
GODrums Oct 24, 2024
0105698
chore: update API specs and client
github-actions[bot] Oct 24, 2024
9730a0d
Automatic Team Assignments
GODrums Oct 25, 2024
67550ab
chore: update API specs and client
github-actions[bot] Oct 25, 2024
5cc9c86
Merge branch 'develop' into feature/admin-config-page
GODrums Oct 27, 2024
1256dfa
merge: continued develop
GODrums Oct 27, 2024
2192e01
fix: db flushing
GODrums Oct 28, 2024
939cad1
fix: remove DTO from requestBody
GODrums Oct 28, 2024
938426e
chore: update API specs and client
github-actions[bot] Oct 28, 2024
3888bd0
Merge branch 'develop' into feature/admin-config-page
FelixTJDietrich Nov 4, 2024
3acda65
Merge branch 'develop' into feature/admin-config-page
FelixTJDietrich Nov 4, 2024
f35f8c2
Merge branch 'develop' into feature/admin-config-page
GODrums Nov 7, 2024
3eecc52
Multiple QoL improvements
GODrums Nov 7, 2024
eaf08f2
Add Repo+Labels to teams
GODrums Nov 9, 2024
0197821
Improve repository popover
GODrums Nov 10, 2024
b4387f5
fix: prettier formatting
GODrums Nov 11, 2024
b943bdd
fix: openapi formatting
GODrums Nov 11, 2024
513b52f
Consistent endpoint naming
GODrums Nov 11, 2024
9c19d1e
fix: invalidation on Team creation
GODrums Nov 11, 2024
df928df
Merge branch 'develop' into feature/admin-config-page
GODrums Nov 12, 2024
dd72c3f
Merge branch 'develop' into feature/admin-config-page
GODrums Nov 12, 2024
86a86b3
chore: update API specs and client
github-actions[bot] Nov 12, 2024
ed31d7b
fix: merging issues
GODrums Nov 12, 2024
8cdad6d
Update default team values
GODrums Nov 13, 2024
f006146
Add .prettierignore
GODrums Nov 13, 2024
c569170
Liquibase migration files
GODrums Nov 13, 2024
beba426
fix: config initialization
GODrums Nov 14, 2024
09d684f
fix: eslint issues
GODrums Nov 14, 2024
a6f388b
Merge branch 'develop' into feature/admin-config-page
FelixTJDietrich Nov 15, 2024
ec3e103
Refactor with team repository
GODrums Nov 15, 2024
99395f1
Rework automatic team assignment
GODrums Nov 15, 2024
c1517fd
Simplify nav buttons
GODrums Nov 16, 2024
c520c70
Replace migration author
GODrums Nov 16, 2024
c17a5ea
Make admin sidebar sticky
GODrums Nov 16, 2024
2afc670
Rename query params
GODrums Nov 16, 2024
e709bc1
Use Tanstack Query Mutations
GODrums Nov 17, 2024
060617c
Merge branch 'develop' into feature/admin-config-page
GODrums Nov 21, 2024
917d8e9
chore: run prettier
GODrums Nov 21, 2024
26e01c9
Env-Var for auto team assignments
GODrums Nov 21, 2024
d8cd507
Update NATS on config change
GODrums Nov 21, 2024
885a37c
Restructure admin teams table
GODrums Nov 22, 2024
65070a8
Rework with Tanstack Query
GODrums Nov 22, 2024
0094c2c
Merge branch 'develop' into feature/admin-config-page
GODrums Nov 22, 2024
b0d55f3
fix: merge conflict
GODrums Nov 22, 2024
058c169
chore: format pretter
GODrums Nov 22, 2024
39fdee8
fix: eslint ignore line
GODrums Nov 22, 2024
7abebed
chore: update API specs and client
github-actions[bot] Nov 22, 2024
41926cf
Update monitoring, team improvements, and switch to workspace naming …
FelixTJDietrich Nov 24, 2024
1d78b9e
Merge branch 'develop' into feature/admin-config-page
FelixTJDietrich Nov 24, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions server/application-server/.prettierignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# Ignore artifacts:
.mvn
target
postgres-data

# Ignore OpenAPI generated files:
src\main\java\de\tum\in\www1\hephaestus\intelligenceservice
Loading
Loading