Remove repo to be deleted

Change-Id: Ibcce53cdf84eb5e3d2acb420d7b51fdc9c410a14
Merge "Remove repo to be deleted"