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

Block Claudebot #263

Merged

lens0021 merged 1 commit into main from claudebot

Sep 27, 2024

Member

lens0021 commented Sep 27, 2024 •

edited

Loading

pre-merge

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


          Block Claudebot

3cad787

lens0021 enabled auto-merge (squash)

September 27, 2024 16:53

lens0021 merged commit c25c86c into main

5 checks passed

lens0021 deleted the claudebot branch

September 27, 2024 16:55

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

Labels

None yet