New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Deployment 2022-07 2 #108

Merged

lens0021 merged 3 commits into main from deployment-2022-07-10

Jul 10, 2022

Member

lens0021 commented Jul 10, 2022 •

edited

Loading

femiwiki/UnifiedExtensionForFemiwiki#98

pre-merge

The checksums are verified.
The MEDIAWIKI_SKIP_UPDATE environment variable is set correctly.

lens0021 added 3 commits

July 10, 2022 19:23


          Remove LocalSettings.php injection

daee571


          Bump MediaWiki image

f316214


          Skip update

lens0021 marked this pull request as ready for review

July 10, 2022 21:09

lens0021 merged commit 6e7fa9d into main

lens0021 deleted the deployment-2022-07-10 branch

July 10, 2022 21:10

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet