gPXE git repository maintenance

Hello,

This evening we did some maintenance on the main gPXE git repository 
located here:

    http://git.etherboot.org/?p=gpxe.git;a=summary

We removed extraneous branches and tags and packed the repository.

These changes should be invisible to most people, but if you cloned our 
repository, we recomend that you do a "git pull" to make sure you have 
no difficulties syncing.

We have observed a problem with repositories cloned with git versions 
before 1.5.  If you cloned your repository with git-1.4, for example, 
you may see errors like this when using git pull.

   $ git pull
   error: no such remote ref refs/heads/EB_CVS
   fatal: Fetch failure: git://git.etherboot.org/scm/gpxe.git

If you encounter this error, you can fix your repository by doing the 
following:

   $ cd gpxe
   $ rm .git/remotes/origin
   $ git remote add origin git://git.etherboot.org/scm/gpxe.git

Then edit the file .git/config and add these lines:

[branch "master"]
         remote = origin
         merge = refs/heads/master

We believe it is unlikely that most people will encounter problems, but 
in case you are tracking our main repository we wanted to inform you of 
these changes.

Marty

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/