I have a Pluto notebook checked into GitHub that I’d like to be able to access through Binder.
My notebook uses @DIR to activate a workspace (also in GitHub) that identifies the packages needed by the notebook.
This works fine on my local clone, but from Binder, @DIR refers to some binder directory, rather than to the workspace directory on GitHub where the notebook lives.
What should I be doing to make this work? I’m trying to avoid waiting for the package manager to compute the transitive closure of the package dependencies when my notebook is opened.
My workspace and notebook are here: