Closed yuvipanda closed 2 years ago
Splitting docker-image-cleaner from binderhub into its own repo
A list of links to the upstream issues/PRs where this work is being discussed and developed.
Do we have an issue open in binderhub/ for the first task in this issue? I think it'd be best if we had something tracking in BinderHub, so that others in the community know what is coming.
binderhub/
This is done!
Summary
Splitting docker-image-cleaner from binderhub into its own repo
Links to upstream issues / PRs
A list of links to the upstream issues/PRs where this work is being discussed and developed.