On Thu, Sep 26, 2019 at 03:01:25PM +0200, Remi Collet wrote: > Le 26/09/2019 à 11:36, Pierre-Yves Chibon a écrit : > > Here is what the vision we came to and that we would like to discuss: > > > > ○ Every changes to dist-git is done via pull-requests > > IMHO Have to stay optional, making this mandatory being a terrible headache. Agreed. *How* commits are pushed to the repo is generally completely orthogonal to the issue of automatically building stuff based on commits to the repo. One the one hand, none of the other stuff in the proposal requires PRs, and on the other hand, this requirement would break other legitimate workflows: scripted cleanups to small things (like the recent removal of Group:) that don't merite rebuilding, scripted management of packages that people do, etc. Zbyszek _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx
