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@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

Reply via email to