When publishing, check that no more commits have been made.
commite3e12422fe1e40466ad1e1f9a31374cf8b318db3
authorThomas Leonard <talex5@gmail.com>
Wed, 28 Nov 2007 20:26:06 +0000 (28 20:26 +0000)
committerThomas Leonard <talex5@gmail.com>
Wed, 28 Nov 2007 20:26:06 +0000 (28 20:26 +0000)
tree8692ba3a7a3ed53cbb96eff4538f5194ac17db04
parentb743192c2da3956b2e1989eb1101779fec201145
When publishing, check that no more commits have been made.

If you committed changes while being asked whether you wanted to publish,
the changes would be lost if you accepted since we move HEAD to just after
the release. Refuse to publish in that case.
release.py