ogd-at-lab/binder/postBuild

#!/bin/bash

# Import the workspace into JupyterLab
jupyter lab workspaces import binder/workspace.json