[m-rev.] Converting to Git.

[Peter Wang]

On Mon, 31 Dec 2012 14:57:21 +1100, Paul Bone <paul at bone.id.au> wrote:
> On Mon, Dec 31, 2012 at 02:07:20PM +1100, Julien Fischer wrote:
> > Hi Paul,
> > 
> > On Sat, Dec 29, 2012 at 6:24 PM, Paul Bone <paul at bone.id.au> wrote:
> > >
> > > Mercury is now converted to git and uploaded to github.
> > 
> > I notice you've shifted tests directory into the main repository
> > (which is fine),
> > however we still need the benchmarks directory from the old CVS repository
> > as well.  (IMO, it may as well go in the main repository as well.)
> 
> I can re-do the conversion so that we get the history of benchmarks inline
> with the main repository (the way I've done for tests).  Or I can just add
> it at this point, throwing away the benchmark's repos history.
> 
> The former is more work, especially if people have already started using
> this.

If you will be redoing the conversion, can you improve it a bit:

- add author names and email addresses
- some summary lines unnecessarily duplicate the first line, e.g. 5eb9c3
- some commits have a filename as the summary, e.g. 976dae
- some commits have two blank lines following the summary

Otherwise, I'll fix those up next week.

Peter