chore(dogfood): use better names for image options #11957

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

matifali merged 1 commit into main from matifali-patch-1

Jan 31, 2024

Member

matifali commented Jan 31, 2024

No description provided.


          chore(dogfood): use better names for image options

matifali added the hotfix label

cdr-bot bot approved these changes

View reviewed changes

cdr-bot bot left a comment

This PR is a hotfix and has been automatically approved.

✅ Base is main
✅ Has hotfix label
✅ Head is from coder/coder
✅ Less than 100 lines

matifali enabled auto-merge (squash)

January 31, 2024 14:32

github-actions bot assigned matifali

matifali merged commit d2b4d58 into main

matifali deleted the matifali-patch-1 branch

January 31, 2024 14:36

github-actions bot locked and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet