On Sat, 30 Jan 2021 at 01:28, Kevin Kofler via devel <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] > 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/[email protected] _______________________________________________ devel mailing list -- [email protected] To unsubscribe send an email to [email protected] 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/[email protected]
