Closed physikerwelt closed 9 months ago
cf. https://github.com/wikimedia/mediawiki-services-jobrunner and https://www.mediawiki.org/wiki/Redis
Changes:
Instructions for PR review:
Checklist for this PR:
create extra dockerfile
one sees the following error
cf. https://github.com/wikimedia/mediawiki-services-jobrunner and https://www.mediawiki.org/wiki/Redis
MaRDI Pull Request
Changes:
Instructions for PR review:
Checklist for this PR: