Skip to content

Path completion for sync command - #208

Merged
pietern merged 2 commits into
mainfrom
sync-completion
Feb 20, 2023
Merged

pietern merged 2 commits into
mainfrom
sync-completion

Conversation

@pietern

@pietern pietern commented Feb 16, 2023

Copy link
Copy Markdown
Contributor

Follow up to #207.

@pietern
pietern changed the base branch from main to sync-args February 16, 2023 14:41
Base automatically changed from sync-args to main February 20, 2023 10:34
@pietern
pietern merged commit 7bf212e into main Feb 20, 2023
@pietern
pietern deleted the sync-completion branch February 20, 2023 13:33
denik pushed a commit that referenced this pull request May 20, 2026
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.

1 participant