> On 29 Jan 2020, at 00:26, Robert-André Mauchin <zebo...@gmail.com> wrote: > > On Tuesday, 28 January 2020 10:03:09 CET Richard W.M. Jones wrote: >> * committing to git should build the package >> >> Is there a reason why this wouldn't be the case? > > Please no. Sometimes you just fix a typo or add a comment and there's no need > to rebuild until a next release.
This “sometimes" is the rare case. So having a “push —nobuild” would address that need. > > _______________________________________________ > 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 _______________________________________________ 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
