Dominic Grimm dergrimm

0 Followers · 0 Following

• Germany
• https://chaos.social/@grimm

• I'm hosting this forge

• Joined on 2022-01-16

Repositories

21

Projects Packages Public Activity Starred Repositories

8

dergrimm opened issue dergrimm/mentorenwahl#2 2022-01-16 18:51:59 +00:00

Notification mailer

dergrimm opened issue dergrimm/mentorenwahl#1 2022-01-16 18:51:45 +00:00

Task runner

dergrimm created branch main in dergrimm/mentorenwahl 2022-01-16 18:38:38 +00:00

dergrimm pushed to main at dergrimm/mentorenwahl 2022-01-16 18:38:38 +00:00

3904dcdd69 Merge pull request 'Switch from port 8080 to 80' (#14) from change-port-80 into main

ed35318465 Switched from port 8080 to 80

9ef535b655 Reverted commit 088a2e72b8

088a2e72b8 Changed backend port 8080 to 80

36bd33a04e Merge pull request 'CI multiple pipelines' (#13) from ci-multi-pipelines into main

Compare 10 commits »

dergrimm created repository dergrimm/mentorenwahl 2022-01-16 18:37:27 +00:00