#15123: Gitify autotools package and make it uptodate on 20140114
-------------------------------------+-------------------------------------
Reporter: felixs | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.1
Component: packages: | Resolution:
optional | Merged in:
Keywords: autotools package | Reviewers: Jean-Pierre Flori
git | Work issues:
Authors: Felix Salfelder, | Commit:
Jeroen Demeyer | f658dd9064212be726441b3356710b51f6c7b44b
Report Upstream: N/A | Stopgaps:
Branch: |
u/jdemeyer/ticket/15123 |
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by jdemeyer):
Replying to [comment:23 jpflori]:
> Hummm, this means one will have to use git and scripting rather than
opening a text file to get a quick overview of what happened to the
package?
> And what about ancien history where the automagically git commits taken
from mercurial commits don't necessarily reflect what used to be indicated
in the history part of SPKG.txt?
> I expect to have to fight with Volker, but I don't really think its the
best idea...
I agree with Volker that having the same information in multiple places
(version numbers, history) will lead to mistakes. For example, my
Mercurial-era release management script checked that the version number in
`SPKG.txt` matched the actual version number. You should see how many
times that failed... If the information is not there, then it cannot be
wrong.
Old `SPKG.txt` history can still be retrieved using the usual `git` tools.
--
Ticket URL: <http://trac.sagemath.org/ticket/15123#comment:24>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
