Stream: coq-community devs & users

Topic: docker-keeper must be updated to 0.8.20

Erik Martin-Dorel (Jun 28 2022 at 20:15):

Just a heads-up in case some people here use docker-keeper:

Docker Hub changed the way its web API responds today 2022-06-28 between 17:04 and 20:28, GMT+2.

(cf. this commit for details)

so you'll need to update your subtree copy of docker-keeper, basically:

git checkout master
git pull
git subtree pull --squash -P external/docker-keeper https://gitlab.com/erikmd/docker-keeper.git master
git push

−− already applied in:

• docker-base
• docker-coq
• docker-mathcomp

Erik Martin-Dorel (Jun 29 2022 at 00:00):

Could some admin help me to move this topic to #coq-community devs & users ?

Notification Bot (Jun 29 2022 at 07:36):

This topic was moved here from #Coq devs & plugin devs > docker-keeper must be updated to 0.8.20 by Karl Palmskog.

Last updated: Jun 03 2023 at 17:29 UTC