Michael Catanzaro wrote:
Alternative: use automated reverts instead of force pushes, and
don't
worry about maintaining a clean history.
Sure, it is possible to make an implementation with lower quality of
implementation with possibly less work, by omitting the force pushes and the
smart "fedpkg build" behavior.
That said, I think you will find that reverts are actually more work to get
right in complex cases such as multi-commit pushes, possibly even with merge
commits, than a simple:
git reset --hard $last_successful_build
git push -f
which only needs the CI to be exempted from the git hook banning force
pushes.
Kevin Kofler