Skip to content

Github branch select#551

Merged
dgibbs64 merged 4 commits intomasterfrom
github-branch-select
Dec 12, 2015
Merged

Github branch select#551
dgibbs64 merged 4 commits intomasterfrom
github-branch-select

Conversation

@dgibbs64
Copy link
Copy Markdown
Member

No description provided.

Modified from @jaredballou pull request.  Now uses curl as it better
handles errors.

Can now select different repo and branch if needed. This is very useful
for development.
dgibbs64 added a commit that referenced this pull request Dec 12, 2015
@dgibbs64 dgibbs64 merged commit 683542c into master Dec 12, 2015
@dgibbs64 dgibbs64 deleted the github-branch-select branch December 12, 2015 19:58
@lock
Copy link
Copy Markdown

lock Bot commented Jul 19, 2018

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@lock lock Bot locked as resolved and limited conversation to collaborators Jul 19, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant