Add GitHub action to trigger binder build upon merge to `main` see https://github.com/marketplace/actions/trigger-binder-build
Add GitHub action to trigger binder build upon merge to
mainsee https://github.com/marketplace/actions/trigger-binder-build