Can't cancel repository import

Hi, I’m new to github, and very confused.
I created my new repository and attempted to import my old subversion repository into it. When I do this I just get:

No source repositories were detected at (url). Please check the URL and try again.

I’m using the url displayed by “svn info” under “Repository Root”.

I figured - no problem, I’ll do the subversion to git conversion myself (done) and then just import it into github, so I followed the guide here: https://docs.github.com/en/free-pro-team@latest/github/importing-your-projects-to-github/adding-an-existing-project-to-github-using-the-command-line

I skipped to step 7 (because I now have a repository) to get the remote repository URL, but when I visit
https//github.com/username/reponame
I get redirected to
https//github.com/username/reponame/import
If I click “Cancel”, then it does nothing.

So then I figured I could just guess the remote repository URL as:
https//github.com/username/reponame.git

If I then power on and do steps 8 and 9, I get this:

$ git push origin main
error: src refspec main does not match any
error: failed to push some refs to 'https//github.com/username/reponame.git'
$

And I have no idea what to do with that error message.

I thought that maybe I could delete the repository and try again, but I can’t get to the menu I’m supposed to use to delete it, because I keep on getting redirected to the non-working project importer.

It seems unlikely to me to think I’ve hit on two bugs (inability to import svn, and repositories being stuck in “import mode”) in my first 5 minute of usage… so now I’m wondering what I’ve done wrong. Any suggestions?

(note that I’ve removed colons from some URLs to bypass the limitation that new users can only post 2 links in a post)

Ok, I’ve solved this enough - visiting http//github.com/(username)/(repo name)/settings lets me delete the repository, then I can recreate it without using the import tool.