On Sat, 30 Jan 2021 at 01:28, Kevin Kofler via devel
<devel(a)lists.fedoraproject.org> wrote:
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.
So if some other maintainer pushes his work to the server meanwhile,
this will just delete his work? Or what's the idea here?
>
> Kevin Kofler
> _______________________________________________
> devel mailing list -- devel(a)lists.fedoraproject.org
> To unsubscribe send an email to devel-leave(a)lists.fedoraproject.org
> Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
> List Guidelines:
https://fedoraproject.org/wiki/Mailing_list_guidelines
> List Archives:
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org