Skip to content

馃 Rename Docker workflow - #90

Merged
ErikSchierboom merged 1 commit into
exercism:mainfrom
ErikSchierboom:rename-docker-workflow
Mar 4, 2022
Merged

馃 Rename Docker workflow#90
ErikSchierboom merged 1 commit into
exercism:mainfrom
ErikSchierboom:rename-docker-workflow

Conversation

@ErikSchierboom

Copy link
Copy Markdown
Member

This PR 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.
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.


See exercism/exercism#6263

@ErikSchierboom ErikSchierboom added the x:size/tiny Tiny amount of work label Mar 4, 2022
@ErikSchierboom
ErikSchierboom force-pushed the rename-docker-workflow branch from b28f30b to 0d09994 Compare March 4, 2022 09:17
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.
@ErikSchierboom
ErikSchierboom merged commit a1803e7 into exercism:main Mar 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

x:size/tiny Tiny amount of work

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants