Skip to content

Handle leading slash in SSH url#245

Merged
ezyang merged 1 commit intomasterfrom
gh/ezyang/16/head
Apr 9, 2024
Merged

Handle leading slash in SSH url#245
ezyang merged 1 commit intomasterfrom
gh/ezyang/16/head

Conversation

@ezyang
Copy link
Owner

@ezyang ezyang commented Apr 9, 2024

Fixes #244

Signed-off-by: Edward Z. Yang ezyang@meta.com

[ghstack-poisoned]
@ezyang
Copy link
Owner Author

ezyang commented Apr 9, 2024

Stack from ghstack (oldest at bottom):

ezyang added a commit that referenced this pull request Apr 9, 2024
Fixes #244

Signed-off-by: Edward Z. Yang <ezyang@meta.com>

ghstack-source-id: d8e3497
ghstack-comment-id: 2045136226
Pull Request resolved: #245
@ezyang ezyang enabled auto-merge (squash) April 9, 2024 13:04
@ezyang ezyang merged commit 5510cb6 into master Apr 9, 2024
@ezyang ezyang deleted the gh/ezyang/16/head branch April 9, 2024 13:09
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.

Couldn't determine repo owner and name from url

1 participant