Closing or deleting a batch change
You can close a batch change when you don't need it anymore, when all changes have been merged, or when you decide not to proceed with making changes. A closed batch change still appears in the batch changes list. To completely remove it, you can delete the batch change.
Any person with admin access to the batch change can close or delete it.
Closing a batch change
-
Click the Batch Changes icon in the top navigation bar.
-
In the list of batch changes, click the batch change that you'd like to close or delete.
-
In the top right, click the Close button.
-
Select whether you want to close all of the batch change's open changesets (e.g., closing all associated GitHub pull requests on the code host).
-
Click Close batch change.
Once a batch change is closed it can't be updated or reopened anymore.
Delete a batch change
-
First, close the batch change.
-
Instead of a "Close batch change" button you'll now see a Delete button.
-
Click Delete.
The batch change is now deleted from the Sourcegraph instance. The changesets it created (and possibly closed) will still exist on the code hosts, since most code hosts don't support deleting changesets.