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

Multiple home #199

Merged

lens0021 merged 1 commit into main from multiple-homes

Mar 1, 2024

Member

lens0021 commented Mar 1, 2024

pre-merge

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


          Multiple home

b6ef170

lens0021 force-pushed the multiple-homes branch from 25a3fba to b6ef170 Compare

March 1, 2024 19:08

lens0021 enabled auto-merge

March 1, 2024 19:08

lens0021 added this pull request to the merge queue

Merged via the queue into main with commit 91ddcc3

9 checks passed

lens0021 deleted the multiple-homes branch

March 1, 2024 19:12

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

Labels

None yet