handle duplicate names #5

Closed

danielroe.dev 4mo ago

Closed opened by

danielroe.dev 4mo ago

reported by @andreijiroh.dev

https://bsky.app/profile/andreijiroh.dev/post/3mpxy6krskk2o

I think we should not sync if there's already a repo of that name and instead should surface the error status in the dashboard

andreijiroh.dev 4mo ago

Alternatively, we could have a option to mirror to existing repo assuming that the git data are same to minimize manual intervention involving having to add --force-with-lease to the git push --mirror command on the backend.

danielroe.dev 4mo ago

yes! but it should be opt in

impro.social 4mo ago

I'm seeing an issue - potentially related to a fix for this? where synchub is marking new repositories as duplicates, even though I don't have any repositories by those names.

improsocial/impro
-
A repo with this name already exists on your tangled account. Rename or remove the existing one, then resync.

impro.social 3mo ago

Update- this is resolved!

danielroe.dev 3mo ago

let me know if it comes back or you encounter any issues