[solved] Converting Mirror to normal repo?

Install/Maintain/Configure
1

Scratching my head on this one…

I’ve been having some work done outside of our org, so using a private repo on github to enable it, and a mirror of the repo on our gitea instance inside…

Now the work is complete and I’d like to take down the external github repo and convert the gitea mirror into a normal repo - is this possible? and how?

Thanks

2

If you were mirroring just create a new repo that’s not a mirror and delete the mirror?

3

actually I realised I was trying to RTFM instead of just looking at the interface… bottom of the setting page had a button to convert to normal repo

4

Great. Anything in the discovery of the feature you feel could be improved?