{"head": "d0382c9d1befeed7c1853df435c0f27eab8e352b\n", "remoteURL": "https://gerrit.wikimedia.org/r/mediawiki/extensions/DeleteBatch", "headCommitDate": "1550179743", "branch": "d0382c9d1befeed7c1853df435c0f27eab8e352b\n", "headSHA1": "d0382c9d1befeed7c1853df435c0f27eab8e352b\n"}