docker-images
docker-images copied to clipboard
Update patchbot images
The patchbot images stopped updating. Once https://trac.sagemath.org/ticket/24854 has been merged, it is probably easier to just install the patchbot into the sagemath/sagemath-dev:develop
image and add instructions on how to use these to run a patchbot.