rich1.0DanConwayDev (npub15q…cyejr)https://nostr.now/npub15qydau2hjma6ngxkl2cyar74wzyjshvl65za5k5rl69264ar2exs5cyejrnjumphttps://nostr.now# 6 - I've released a fixed. Can you confirm its fixed? # 7 I think it would have worked in you used `git clone --mirror`. I suspect it's failing becaue the tag git data wasn't downloaded locally and therefore can't be pushed. There is probably a better flow for migrating a remote repo for a url. I've thought about adding a feature to gitworkshop where it will migrate the Issues/PRs/Comments as well.