Adjust to changes in Gerrit core Depends-On: https://gerrit-review.googlesource.com/273833 Change-Id: I3dcad7b600213edcb2a079bef9c6a1da7304937e
A plugin which allows projects to be deleted from Gerrit via an SSH command, REST API or the Project settings screen.