Cleanup soft-deleted repository records on .com
Context
This is a followup from #570 (closed), where we have soft-deleted a series of repository records on the metadata database. Please read the issue for context.
Problem
The soft-deleted repository records should be deleted. However, this requires doing it in several batches, one per release, so this is a slow (and tedious) process.
Note: This is not a blocker for the .com migration. It's just a housekeeping task. As described in #570 (comment 867197916), the number of soft-deleted records is already decreasing, so we just need to accelerate that.
Solution
Delete soft-deleted repositories in batches of 1000 rows (sample). Spread them across multiple releases.