On 11/21/20 7:09 PM, Klein, Gerwin (Data61, Kensington NSW) wrote: > >> On 21 Nov 2020, at 11:36, Demi M. Obenour <[email protected]> wrote: >> >> Signed PGP part >> On 11/20/20 5:21 PM, Klein, Gerwin (Data61, Kensington NSW) wrote: >>> >>> If changes do break the proof, then we'd need to discuss how to verify them >>> and who will do the work for it. Looking at your PR, I think they would be >>> fine, but I’ll start a proof run and comment on the PR when it is done. >> >> A couple of related questions: >> >> 1. Are formatting changes (whitespace, comments, etc) guaranteed to not >> break the proofs? > > Some comments are proof annotations. As long as those don’t change, other > whitespace and comment change will not break the proofs. > > >> 2. If a change does break the proofs, would you be willing to coach someone >> on fixing them? > > Yes, depending on the change. If it is a 10 person-year project less likely > :-). If it is something small then usually yes.
Good to know. That makes me feel much better about my ability to contribute in the future, should my plans call for it. > Cheers, > Gerwin >
OpenPGP_0xB288B55FFF9C22C1.asc
Description: application/pgp-keys
OpenPGP_signature
Description: OpenPGP digital signature
_______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
