#13015: Metaticket: revamp workflow / switch to git
-------------------------------------+-------------------------------------
Reporter: kini | Owner: jason
Type: task | Status: new
Priority: major | Milestone: sage-6.0
Component: misc | Resolution:
Keywords: git workflow, | Merged in:
sd51 | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: public/sage- | 8237337b67a38c7e85f86d9f0e2678b308f4fe00
git/master | Stopgaps:
Dependencies: #14480, #14481, |
#14482, #14330, #14273, #14954, |
#14962, #15241, #15222 |
-------------------------------------+-------------------------------------
Changes (by git):
* commit: 3b15578530c5f0e8d904bfbe3bc885f1258fbcb4 =>
8237337b67a38c7e85f86d9f0e2678b308f4fe00
Comment:
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
||[changeset:8237337]||Merging Sage-5.12.rc0 and sage-git fixes||
||[changeset:e136966]||clean up temp file usage (always use SAGE_TMP)||
||[changeset:39d7a1f]||fixed the optional - internet doctests||
||[changeset:11a8bf4]||cleaning up temp file usage||
||[changeset:8d8aeb7]||better display for SageDevValueError||
||[changeset:934857e]||more code cleanups, minor UI rephrasing||
||[changeset:b558576]||renamed local-tickets -> tickets, prune-closed-
tickets -> prune-tickets, misc fixes||
||[changeset:c9dcab2]||more informational messages||
||[changeset:fc653db]||rename git.reset_to_clean_workspace_directory to
git.clean_wrapper||
||[changeset:4063373]||more info messages, simplified user interface
message formatting||
--
Ticket URL: <http://trac.sagemath.org/ticket/13015#comment:31>
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.
