Skip to content

Deduplicate session names for repos and bookmarks#105

Merged
jrmoulton merged 1 commit intojrmoulton:mainfrom
petersimonsson:fix-clashes
Jun 30, 2024
Merged

Deduplicate session names for repos and bookmarks#105
jrmoulton merged 1 commit intojrmoulton:mainfrom
petersimonsson:fix-clashes

Conversation

@petersimonsson
Copy link
Collaborator

Improve the deduplication of session names to work for bookmarks as well as repos. Also make it work when showing the full path in the picker. The deduplication also changes the name for all duplicate session names to get similar names for all conflicting session names.

fixes #26

Improve the deduplication of session names to work for bookmarks as well
as repos. Also make it work when showing the full path in the picker.
The deduplication also changes the name for all duplicate session names
to get similar names for all conflicting session names.

fixes jrmoulton#26
@jrmoulton jrmoulton merged commit 55c3563 into jrmoulton:main Jun 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

New session not being created on dirname clashes

2 participants