From 0d0999463e29953bd54ae03b2825b5521778abfa Mon Sep 17 00:00:00 2001 From: Erik Schierboom Date: Fri, 4 Mar 2022 10:17:10 +0100 Subject: [PATCH] Rename (Docker) deploy workflow. This commit renames `.github/workflows/docker.yml` to `.github/workflows/deploy.yml`. This rename is necessary to allow for this workflow to be automatically synced across all tooling repos from the exercism/org-wide-files repo. This repo will receive a second PR soon-ish, in which we'll sync an updated version of this workflow to eliminate dependabot updates for this workflow. We've chosen to rename the file to `deploy.yml` as that best describes its purpose: ensuring that the tooling is deployed. The fact that we use Docker internally as our deployment mechanism is merely an implementation detail. --- .github/workflows/{docker.yml => deploy.yml} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/workflows/{docker.yml => deploy.yml} (100%) diff --git a/.github/workflows/docker.yml b/.github/workflows/deploy.yml similarity index 100% rename from .github/workflows/docker.yml rename to .github/workflows/deploy.yml