Re: bug in gnu time 1.7

[Karl Berry]

Hi David,

    I'm trying to set GNU Time up in Git. Will let you know if I succeed.

On https://savannah.gnu.org/projects/time (after logging in of course),
under the "administer" part of the main group menu, choose the
option "select features".

This will take you to
https://savannah.gnu.org/project/admin/editgroupfeatures.php?group=time
(you can also go there directly)
and then you can enable git there.

After that, here is the info for using it on savannah (written by other
people, not me):
http://savannah.gnu.org/maintenance/UsingGit

    I made a release a couple of years ago but failed to get it onto GNU's 
    server.

The basic procedure for making releases is given here:
http://www.gnu.org/prep/maintain/html_node/Automated-FTP-Uploads.html

The process is not and cannot be 100% trivial, but hundreds of people
have succeeded in navigating it.  If and when you have a problem with
it, please don't give up.  Just email (for example) address@hidden
All you had to do was ask and we would have tried to help.  Sigh.

Karl