Just a heads-up in case some people here use
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:
Could some admin help me to move this topic to #coq-community devs & users ?
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