On 29 Jan 2020, at 00:26, Robert-André Mauchin
<zebob.m(a)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(a)lists.fedoraproject.org
To unsubscribe send an email to devel-leave(a)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