There should be a mechanism to push changes skipping the CI workflow.
There should be a mechanism to push changes skipping the CI workflow.