<div dir="ltr">I agree with this.<div><br><div>Nitpicking below:<br><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Feb 10, 2016 at 2:18 PM,  <span dir="ltr"><<a href="mailto:paul@plasmalang.org" target="_blank">paul@plasmalang.org</a>></span> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
+## Before beginning<br>
+<br>
+It is usually best to start each piece of work on a new git branch.  Create<br></blockquote><div><br></div><div>Usually? I'd say 'always' since I can't think of a situation in which this wouldn't be the case.</div><div>(For spelling errors etc, I'd bundle them up in 1 big patch and commit it in a branch.)</div><div> </div><div><snip></div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">+Search the source code for the strings "XXX" or "TODO" for things that must<br>
+be handled.  Keep in mind that there may be good reasons why these are not<br>
+yet handled, eg: other work needs doing first.<br></blockquote><div><br></div><div>Perhaps we could refer again to the 'talk to us' section here.</div><div><br></div><div>Other than these two extremely minor things, I have no remarks.</div><div><br></div><div>Gert</div></div></div></div></div></div>