I tried to create a repo named "exercism-c" on git.sr.ht recently and
was directed to a 404 page afterwards. Trying to create it again shows
an "already exists" error. I cannot push to nor pull from the
repository.

I successfully created a repository named "exercism-c2", without
error.

Any ideas what might have gone wrong and how I can get access to the
original repository?

Hi,

On 11/16/23 21:58, Travis Wrightsman wrote:
> I tried to create a repo named "exercism-c" on git.sr.ht recently and
> was directed to a 404 page afterwards. Trying to create it again shows
> an "already exists" error. I cannot push to nor pull from the
> repository.
> 
> I successfully created a repository named "exercism-c2", without
> error.
> 
> Any ideas what might have gone wrong and how I can get access to the
> original repository?

Can you specify how exactly you created the repo? Did you use the 
"Create new repository" form on the web app? Or maybe the "Clone repo to 
your account" button on some existing repo? Or did you just `git push` 
something to create it?

In addition, any chance you can narrow down the time at which you did 
so? Might help us find something in the logs...

Also, I do see that repo in storage, but it seems to be incomplete. If 
you wish, I can clean that up, so you can try to create it again?

Cheers,
Conrad

Hi Conrad,

> Can you specify how exactly you created the repo? Did you use the "Create
> new repository" form on the web app? Or maybe the "Clone repo to your
> account" button on some existing repo? Or did you just `git push` something
> to create it?

I used the "Create new repository" form on the web app.

> In addition, any chance you can narrow down the time at which you did so?
> Might help us find something in the logs...

According to my commit history, it should be around 13:30 EST / 18:30 UTC.

> Also, I do see that repo in storage, but it seems to be incomplete. If you
> wish, I can clean that up, so you can try to create it again?

Was that an error on my part? Regardless, yes, I would appreciate if
you could clean it up so I can try again.

Thank you,
Travis

On 11/16/23 22:48, Travis Wrightsman wrote:
> Hi Conrad,
> 
>> Can you specify how exactly you created the repo? Did you use the "Create
>> new repository" form on the web app? Or maybe the "Clone repo to your
>> account" button on some existing repo? Or did you just `git push` something
>> to create it?
> 
> I used the "Create new repository" form on the web app.
> 
>> In addition, any chance you can narrow down the time at which you did so?
>> Might help us find something in the logs...
> 
> According to my commit history, it should be around 13:30 EST / 18:30 UTC.

Thanks. Still nothing sticks out in the logs, but I'll keep digging.

>> Also, I do see that repo in storage, but it seems to be incomplete. If you
>> wish, I can clean that up, so you can try to create it again?
> 
> Was that an error on my part? Regardless, yes, I would appreciate if
> you could clean it up so I can try again.

Absolutely no error on your part, I honestly so far have no idea what 
happened. I did clean it up, though, so you should at least be able to 
create it now. If you encounter any further issue, please let me know!

Cheers,
Conrad