@arghyadeep Thank you for reporting, we will investigate the cause!
Meanwhile, to get unblocked, you can re-try the migration into a new repository with another name (no worry, you can later rename as soon the issue is fixed).
@codeberg Thanks a lot for the prompt reply.
I’ll try on a new repo and continue my work while you investigate this. Let me know if you need any further details.
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!