On Sat, Dec 21, 2019 at 5:06 PM Kevin Kofler <kevin.kof...@chello.at> wrote: > > Nico Kadel-Garcia wrote: > > It is *possible* to branch from right before the commit, and put > > *that* in your branch or your local repo to work with. It's also > > possible to replace an upstream git repo, entirely, with a repo that > > does not have the commit. > > The Fedora dist-git git hooks won't allow such a thing (a "force push"). > > Kevin Kofler
I believe you! This is a wise precaution for a reference repository. I've had people do a "force push" for various reasons and cause genuine adventures later. Conversely, I've had upstream repos that accidentally had passwords or DVD files stored in them and needed to be forcibly cleared of inappropriate content. _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@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
