Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[BUG] source for URL creation #263

Open
Brilator opened this issue Sep 12, 2024 · 4 comments
Open

[BUG] source for URL creation #263

Brilator opened this issue Sep 12, 2024 · 4 comments
Assignees
Labels
Type: Feature Request This item is confirmed by the maintainers to be a request for a new feature

Comments

@Brilator
Copy link
Member

A user ran into a syncing issue, since the URL created for the remote didn't match that in the hub.
I think the user created an ARC sometime ago and since then renamed the folder on the local machine.

@github-actions github-actions bot added the Status: Needs Triage This item is up for investigation. label Sep 12, 2024
@JonasLukasczyk
Copy link
Collaborator

I don't quite understand what we should do here. I think the user should just manually edit the remote?

@JonasLukasczyk JonasLukasczyk added Type: Question Miscellaneous inquiries. and removed Status: Needs Triage This item is up for investigation. labels Sep 23, 2024
@JonasLukasczyk JonasLukasczyk self-assigned this Sep 23, 2024
@Brilator
Copy link
Member Author

Maybe create a light warning when one of these three deviate from one another

  • folder Name
  • ARC Investigation Identifier
  • remote name

@JonasLukasczyk JonasLukasczyk added Type: Feature Request This item is confirmed by the maintainers to be a request for a new feature and removed Type: Question Miscellaneous inquiries. labels Sep 24, 2024
@JonasLukasczyk
Copy link
Collaborator

Do you have a preference where this warning is displayed?

@Brilator
Copy link
Member Author

Brilator commented Oct 4, 2024

  • (annoying) pop-up during ARC download / ARC open
  • similar to pop-up when git is not init'ed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Type: Feature Request This item is confirmed by the maintainers to be a request for a new feature
Projects
Status: No status
Development

No branches or pull requests

2 participants