IRC channel logs
2022-01-20.log
back to list of logs
*
civodul writes for the activity report
<civodul>
which made me realize that the contribution of my former intern for repo2docker still hasn't been merged:
https://github.com/jupyterhub/repo2docker/pull/1048
<civodul>
feel free to add thumbs up to that request :-)
*
rekado left a thumb there
<civodul>
"social coding", they say