Fix the deployment script
Aims to fix the deployment CI not functioning due to the repository being moved to a new address. If this is intentional, disregard this MR. Needed for the online preview to be generated and it seems to be working.
Maintenance on Friday 13.3. at 12:30, estimated downtime 30-60 minutes. Downtime may extend to 14:30.
Aims to fix the deployment CI not functioning due to the repository being moved to a new address. If this is intentional, disregard this MR. Needed for the online preview to be generated and it seems to be working.