<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"><base href="x-msg://1263/"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">I'd like to humbly second this request... and specifically, that I more often use git in fear rather than confidence, especially when I'm working with ghc. This is perhaps inevitable -- a complicated system requires complicated tools. But, any help here is greatly appreciated.<div><br></div><div>As a very minor point:<br><div><br><div><div>On Jul 15, 2014, at 3:01 AM, Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>> wrote:</div><blockquote type="cite"><div lang="EN-GB" link="#0563C1" vlink="#954F72" style="font-family: Helvetica; font-size: medium; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><div class="WordSection1" style="page: WordSection1; "><p class="MsoListParagraph" style="margin: 6pt 0cm 6pt 36pt; font-size: 11pt; font-family: Calibri, sans-serif; text-indent: -18pt; "><span style="font-size: 12pt; "><span>12.<span style="font-style: normal; font-variant: normal; font-weight: normal; font-size: 7pt; line-height: normal; font-family: 'Times New Roman'; "> <span class="Apple-converted-space"> </span></span></span></span><span style="font-size: 12pt; font-family: 'Courier New'; ">git add/commit <span class="Apple-converted-space"> </span></span><span style="font-size: 12pt; "> to record patch as usual, but<o:p></o:p></span></p></div></div></blockquote></div><br></div></div><div>That line confused me. I thought there was a new command `add/commit`! It didn't take too long to unravel the meaning, but I'd like to request that we avoid *any* abbreviations, especially in typewriter font.</div><div><br></div><div>Thanks to the git-wizards who help us git-gits!</div><div><br></div><div>Richard</div></body></html>