7 ms·
A workaround I've used sometimes to retrigger CI is to do `git commit --amend --no-edit --reset-author`. This changes the sha by changing the author timestamp.
by isbadawi 4y ago
A workaround I've used sometimes to retrigger CI is to do `git commit --amend --no-edit --reset-author`. This changes the sha by changing the author timestamp. Then you can force push it to the PR branch
- akx 4y agoYou don't even need `--reset-author`; the committer timestamp changes without it too: $ git init $ git commit -m hello --allow-empty [master (root-commit) 1177c71] hello $ git commit --amend --no-edit --allow-empty [master (root-commit) 7dcb290] hello