launches binder

launch_binder(github_username, repo_name, branch_name)

Arguments

github_username

For project repo

repo_name

Repository name

branch_name

Branch name, eg. 'master'

Value

opens URL for binder