Skip to content
This repository has been archived by the owner on Feb 4, 2018. It is now read-only.

Add branch option #17

Open
freeman-lab opened this issue Nov 8, 2015 · 0 comments
Open

Add branch option #17

freeman-lab opened this issue Nov 8, 2015 · 0 comments

Comments

@freeman-lab
Copy link
Member

As discussed in binder-project/binder#31, we should add an option to the UI that allows specification of branch name alongside repo.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant