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.
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.