Skip to content
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.

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

fix(ci): push docker dev tag only on merge to main #3393

Merged
merged 1 commit into from May 12, 2023

Conversation

GenPage
Copy link
Member

@GenPage GenPage commented May 10, 2023

what

  • Disables pushing a dev tag within an unmerged pr commit event.
  • Also disabled image pushing at all unless the event comes from the main branch

why

Currently, the workflow updates the dev tag on unmerged pr commit events. This should only happen on the main branch. This is additional logic to prevent such possibilities

tests

  • I have tested my changes by testing in a separate fork

references

- Disables pushing a dev tag within an unmerged pr commit event.
- Also disabled pushing at all unless the event comes from the main branch
@nitrocode nitrocode changed the title fix(ci): only push docker dev tag on main fix(ci): push docker dev tag only on merge to main May 12, 2023
@nitrocode nitrocode merged commit 3c27fbb into main May 12, 2023
22 checks passed
@nitrocode nitrocode deleted the fix/dev-image-tags-on-pr branch May 12, 2023 02:34
@nitrocode nitrocode added this to the v0.24.0 milestone May 22, 2023
mtavaresmedeiros pushed a commit to mtavaresmedeiros/atlantis that referenced this pull request Jul 3, 2023
- Disables pushing a dev tag within an unmerged pr commit event.
- Also disabled pushing at all unless the event comes from the main branch
ijames-gc pushed a commit to gocardless/atlantis that referenced this pull request Feb 13, 2024
- Disables pushing a dev tag within an unmerged pr commit event.
- Also disabled pushing at all unless the event comes from the main branch
ijames-gc pushed a commit to gocardless/atlantis that referenced this pull request Feb 13, 2024
- Disables pushing a dev tag within an unmerged pr commit event.
- Also disabled pushing at all unless the event comes from the main branch
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants