Skip to content

Robust handling of remote names#13

Merged
sweeney merged 1 commit intomasterfrom
robust-remotes
Feb 5, 2018
Merged

Robust handling of remote names#13
sweeney merged 1 commit intomasterfrom
robust-remotes

Conversation

@hraban
Copy link
Copy Markdown
Owner

@hraban hraban commented Jan 11, 2018

Directly list branches from .git meta dir instead of using porcelain
commands. I would have preferred a plumbing command for this but I can't
find any.

Fixes #11

Directly list branches from .git meta dir instead of using porcelain
commands. I would have preferred a plumbing command for this but I can't
find any.

Fixes #11
@sweeney sweeney merged commit 06b5fb5 into hraban:master Feb 5, 2018
@hraban hraban deleted the robust-remotes branch February 5, 2018 15:21
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.

2 participants