All of these workflows should be replaced by a single synced workflow.
This might require either making the docker image name match the github repo name (or vice versa),
or setting a repository env variable to configure the base name of the Docker image we are building
TODO
[x] we will have to delete the possibly differently named nightly workflows in the repos first
The following repos have the docker nightly build workflow (with different names):
All of these workflows should be replaced by a single synced workflow. This might require either making the docker image name match the github repo name (or vice versa), or setting a repository env variable to configure the base name of the Docker image we are building
TODO