Skip to content

Handle other sources than github.com #2

Open
@jtpio

Description

Just like mybinder.org (and other BinderHubs). the gallery website should also handle other sources than github.com.

This is an issue for the following TODO:

// strip github.com from the repo url
// TODO: handle other sources
repoUrl = repoUrl.replace("https://github.com/", "");

For reference, the BinderHub frontend lives here: https://github.com/jupyterhub/binderhub/tree/23eeb4313d96890e3cc777e614135fa224da868c/binderhub/static/js

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions