fix(deploy-dgnum): Use correct origin server

This commit is contained in:
Tom Hubrecht 2023-12-05 12:49:50 +01:00
parent b394f5eb93
commit b60701519d

View file

@ -76,4 +76,4 @@ jobs:
GIT_REPOSITORY: pages GIT_REPOSITORY: pages
GIT_USER_EMAIL: automated-update@dgnum.eu GIT_USER_EMAIL: automated-update@dgnum.eu
GIT_USER_NAME: Forgejo Action GIT_USER_NAME: Forgejo Action
GIT_ORIGIN_SERVER: git.hubrecht.ovh GIT_ORIGIN_SERVER: git.dgnum.eu