Re: push patch for issue 2679

[Graham Percival]

On Tue, Jul 24, 2012 at 06:50:52PM +0200, David Kastrup wrote:
> We don't commit anything other than patches.  That's redundant.  But
> 
> Issue 2679: Function for overriding broken spanners
> 
> would make it easier to find the corresponding issue in case one needs
> to revisit the commit at one point of time.

However, don't rely on the issue number too heavily.  We've had
requests not to have summaries like
  Fix issue 2679
since most people don't have all 3000 issues memorized, and
somebody might be looking at the git history without an internet
connection.  (that's less often these days, but some trains or
planes don't have wifi)

It's fine to mention the issue number in the subject, but make
sure the subject makes sense without the issue number as well.

- Graham