Hi Binder folks
I was struggling to understand how to use the config options available in the developper doc are reflected in the running binder pod, so I wrote a full blog post about it:
this might be useful for people who have installed Binder via the helm chart, and want to understand how the configuration is working under the hood in Kubernetes.