How to migrate a project that used to be on NEXT to a workspace project using a git repository as its backend

Question:

• How do I migrate a project that used to be on NEXT to a workspace project using a git repository as its backend? For now, I am stuck after the migration phase: I have all my projects migrated to my new workspace, but all the API files seem to be stored in Stoplight's backend and I would like to move them to my own Github repositories.

Environment:

• Migrated from NEXT

Procedure:

1. In the Workspace, go to the Project, click on Edit. 
2. Export the Project file.
3. 
4. Unpack the Zip file into a directory on your computer
5. Create a project in Github - https://meta.stoplight.io/docs/platform/ZG9jOjE4ODEyMw-add-projects#add-projects-from-git.
6. Once the project is created you can import the files via Github or from the Project. 
7.