Re: git commit notation

[John Wiegley]

>>>>> "PE" == Paul Eggert <address@hidden> writes:

PE> Starting with "; " means that it's an unimportant commit whose commit
PE> message won't be copied into ChangeLog.whatever.

Nice, as it says in CONTRIBUTE:

- Start with a single unindented summary line explaining the change;
  do not end this line with a period.  If that line starts with a
  semicolon and a space "; ", the commit message will be ignored when
  generating the ChangeLog file.  Use this for minor commits that do
  not need separate ChangeLog entries, such as changes in etc/NEWS.

-- 
John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2