`Development`: Store shorter repository URI in database #57635

Job	Run time
Build .war artifact	4m 3s
Build and Push Docker Image / Build linux/amd64 Docker Image for ls1intum/artemis	10m 10s
Build and Push Docker Image / Build linux/arm64 Docker Image for ls1intum/artemis	9m 54s
Build and Push Docker Image / merge	12s
Save Docker Image Tag	6s
	24m 25s

Provide feedback