search

MaRDI4NFDI / docker-wikibase

Wikibase Docker image with preinstalled extensions for the MaRDI-Portal
2 stars 0 forks source link

add DeleteBatch extension #115

Closed LizzAlice closed 9 months ago

LizzAlice commented 9 months ago

MaRDI Pull Request

Changes:

Instructions for PR review:

Checklist for this PR:

LizzAlice commented 9 months ago

I tried that, there was an error.

physikerwelt commented 9 months ago

What was the error?

The repo seems to exist https://gerrit.wikimedia.org/g/mediawiki/extensions/DeleteBatch

LizzAlice commented 9 months ago

Ah, I used WMF_BRANCH, works with REL_BRANCH

LizzAlice commented 9 months ago

fixed, merging