Launching Binder from jupyterbook via gitlab repo causes error, URL not read correctly

[merrygin]

Bug description

I am trying to start binder from a jupyterbook, having provided the url in the config.yml, but binder doesn’t recognize the repo this way - it displays the colon (and only the colon) encoded so I suspect there might be some issue with that? Curiously, if I manually start a binder from repo directly via mybinder.org everything works just fine.

The repo url is: https://gitlab.gwdg.de/jmschmitz/abm-compendium-jupyterbook

Maybe it the problem lies with the gitlab instance the repo is hosted on. When I pass a github repo in the config.yml, the binder integration also works f

See error log below.

Expected behaviour

Start binder from jupyterbook with url given in config.yml, binder reads the url exactly as given in config, finds repo, launches binder

Actual behaviour

Start binder from jupyterbook with exact url given in config.yml, binder reads the url but with "%3A" instead of ":", fails to find repo

How to reproduce

1. Use this repo and build the jupyterbook
2. Go to chapter "Mesatutorial", subchapter "Introduction to mesa"
3. Click rocket symbol/"binder" to launch binder instance of the repo
4. See error

Your personal set up

/

• OS: MacOS

• Version(s): 11.6.1

Full environment

# paste output of `pip freeze` or `conda list` here

Configuration

# jupyterhub_config.py

Logs

Error resolving ref for git:https%3A//gitlab.gwdg.de/jmschmitz/abm-compendium-jupyterbook/main: Unable to run git ls-remote to get the resolved_ref: ssh: Could not resolve hostname https: Name or service not known fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

[welcome]

Thank you for opening your first issue in this project! Engagement like this is essential for open source projects! 🤗

If you haven't done so already, check out Jupyter's Code of Conduct. Also, please try to follow the issue template as it helps other other community members to contribute more effectively.

You can meet the other Jovyans by joining our Discourse forum. There is also an intro thread there where you can stop by and say Hi! 👋

Welcome to the Jupyter community! 🎉