batches: This repository was archived so it is read-only.

Created by: sfllaw

• Sourcegraph version: 3.40.0

Steps to reproduce:

1. Create a batch change with a changeset that affects an archived repository.
2. Publish that changeset

Expected behavior:

Sourcegraph realizes that the repository is archived and does something sensible.

It should probably leave the changeset as Unpublished and maybe offer you the option to change the state to Archived.

Actual behavior:

Failed to run operations on changeset Creating commit from patch for repository "github.com/sfllaw/archived-repo": gitserver: pushing ref: exit status 128

$ git -c credential.helper= -c protocol.version=2 push --force https://<redacted>@github.com/sfllaw/archived-repo 0f010a375f9b8bb7e96a7aa2c610fb5d6729d910:refs/heads/branch
remote: This repository was archived so it is read-only.
fatal: unable to access 'https://github.com/sfllaw/archived-repo/': The requested URL returned error: 403