> On 29 Jan 2020, at 00:26, Robert-André Mauchin <zebob.m@xxxxxxxxx> 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@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 _______________________________________________ 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
