Can't push to or delete repo?

[weightech]

New empty git repo was created with the API, then the git push failed with "This repository is currently not available". (No other repos in the workspace are failing like this.)

The webpage won't show the repo: it's just a spinning circle. Other repos are visible.

API get call on the repo returns 403 "Repository currently not available". Other repos return 200 + repository details in json, as you'd expect.

API delete call on the repo returns 403 "Repository currently not available". Other repos can be deleted.

If I use the API to list repos in the workspace, the empty git repo details _are_ present!

workspace UUID: 14a81f20-ea86-40ff-a20a-25ab02d45863

project UUID: 2dcfe0a7-6f71-4c72-8923-108fba911e9a

repo UUID: ba81e90c-68ab-47d0-803a-1d97401dfe44

I've tried the API calls with both slug and UUID--no difference.

I'm guessing something went wrong when the repo was created and it's out of sync. Can someone with admin access please fix or delete this repo so I can recreate it?

thanks!

[Syahrul]

G'day, @weightech 

It seems that the repository was stuck in creation mode, preventing your access. I have deleted the repository manually. Please recreate it and let me know how it goes.

Regards,
Syahrul