Hashar has submitted this change and it was merged. Change subject: remove WikibaseDatabase submodule ......................................................................
remove WikibaseDatabase submodule It has been deleted from gerrit, now maintained on github: https://github.com/wmde/WikibaseDatabase this will fix code update on beta labs https://integration.wikimedia.org/ci/job/beta-code-update/22473/console Change-Id: I438d086e1c4e07d996219e350f2fa24024b7988d --- D WikibaseDatabase 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Daniel Kinzler: Looks good to me, but someone else must approve Hashar: Verified; Looks good to me, approved Addshore: Looks good to me, but someone else must approve Jeroen De Dauw: Looks good to me, but someone else must approve diff --git a/WikibaseDatabase b/WikibaseDatabase deleted file mode 160000 index b3bd0dc..0000000 --- a/WikibaseDatabase +++ /dev/null -Subproject commit b3bd0dc05952a23477b333d64bc49ef16623aa0f -- To view, visit https://gerrit.wikimedia.org/r/93687 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I438d086e1c4e07d996219e350f2fa24024b7988d Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions Gerrit-Branch: master Gerrit-Owner: Aude <[email protected]> Gerrit-Reviewer: Addshore <[email protected]> Gerrit-Reviewer: Aude <[email protected]> Gerrit-Reviewer: Daniel Kinzler <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> Gerrit-Reviewer: Jeroen De Dauw <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
