I hope no one minds my resurrecting this, but after having spent a lot of
time waiting for Sage to rebuild itself 3 or 4 times, I just discovered
this hint, and would like to suggest it make its way
onto http://www.sagemath.org/doc/developer/trac.html#section-review-patches,
and all other similar pages in the developer guide.
If that's already in the works, then never mind me; just carry on...
john perry
On Saturday, May 31, 2014 8:33:14 AM UTC-5, Volker Braun wrote:
>
> I've implemented a version of this now. From the README:
>
> * Review tickets with minimal recompiling. This assumes that you are
> currently on the "develop" branch, that is, the latest beta. Just
> checking out an older ticket would most likely reset the Sage tree
> to an older version, so you would have to compile older versions of
> packages to make it work. Instead, you can create an anonymous
> ("detached HEAD") merge of the ticket and the develop branch::
>
> $ git trac try 12345
>
> This will only touch files that are really modified by the
> ticket. In particular, if only Python files are changed by the
> ticket (which is true for most tickets) then you just have to run
> `sage -b` to rebuild the Sage library. When you are finished
> reviewing, just checkout a named branch. For example::
>
> $ git checkout develop
>
> If you want to edit the ticket branch (that is, add additional
> commits) you cannot use `git trac try`. You must use `git trac
> checkout` to get the actual ticket branch as a starting point.
>
>
> On Saturday, May 31, 2014 2:31:16 AM UTC+1, Dima Pasechnik wrote:
>>
>> I asked for essentially this functionality to be in git trac, see
>> https://github.com/sagemath/git-trac-command/issues/13
>>
>>
--
You received this message because you are subscribed to the Google Groups
"sage-devel" 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-devel.
For more options, visit https://groups.google.com/d/optout.
