Skip to content

Conversation

@pascalandy
Copy link
Contributor

@pascalandy pascalandy commented May 9, 2022

  • Impact on: PINNED/ TODO and backlog #4, PINNED/ UX Improvements #8
  • User facing
  • Now, main_branch builds only when pushing tags
  • Now, the CI do not build on every commits on main_branch (its a pain when we merge many PRs)
  • Sometime we work directly on the main_branch (typically for CI work) and we dont want to trigger the CI pipeline
  • Refactor squash() and dummy()

@pascalandy pascalandy merged commit f0003a5 into main May 9, 2022
@pascalandy pascalandy deleted the edge_620 branch May 9, 2022 18:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants