Hello @schymans , you don’t need to create the new empty project on RenkuLab before pushing. Any non-taken valid name should work fine when pushing.
You can follow the steps here, starting from the section Common steps: How to move projects between different RenkuLab Deployments .