And again about CI. Imagine you need to run a CI process, but you haven’t made any changes to the code and there’s no manual process launch option for this CI. You have two options:
- Rewrite the hash of the last commit and force push:
git commit --amend --no-edit --allow-empty
git push -f
- Add a new empty commit and do a regular push:
git commit --allow-empty -m 'Run CI'
git push
Which option is more acceptable for you?