This repository was archived by the owner on Jan 25, 2024. It is now read-only.
This repository was archived by the owner on Jan 25, 2024. It is now read-only.
consider adding ability to specify binder repo #10
Description
Similar to #9, it might be nice to let the user specify a binder repo as an command line arg. Could be overkill, though, as it's really just changing one line 🤔.