GitHub repository: sourcegraph-testing/to-be-deleted
Created: 2023-09-22T15:59:41Z
Description: Temp repo to test what happens to a batch change when a repo is deleted