I've recently logged in after a long period of inactivity. In fact, I'm not sure I actually did much with my account after creating it.
Anyway, as I logged in, I noticed a repository of mine which exists on github. I clicked it, to get here:
https://codeberg.org/eyalroz/cuda-api-wrappers
on that page, I see an animation, with the text saying
Migrating from https://github.com/eyalroz/cuda-api-wrappers ...
Migrating Pull Requests
and nothing seems to happen already for quite a while. No progress or anything. It seems like it's stuck. The repository is not tiny, but it's also not big. ~560 issues and MRs, ~940 commits, less than 2MiB of files.
### Comment
I've recently logged in after a long period of inactivity. In fact, I'm not sure I actually did much with my account after creating it.
Anyway, as I logged in, I noticed a repository of mine which exists on github. I clicked it, to get here:
https://codeberg.org/eyalroz/cuda-api-wrappers
on that page, I see an animation, with the text saying
> Migrating from https://github.com/eyalroz/cuda-api-wrappers ...
>
> Migrating Pull Requests
and nothing seems to happen already for quite a while. No progress or anything. It seems like it's stuck. The repository is not tiny, but it's also not big. ~560 issues and MRs, ~940 commits, less than 2MiB of files.