We can't really tell you what you want to do after you are finished with
your task... maybe go and make a sandwich, drink a cup of tea? ;-)
Usually you'd want to switch to whatever you were doing before. Annoyingly,
the "sage -dev checkout" doesn't DWIM but expects you to add additional
mandatory parameters to tell it whether you want to checkout a ticket or a
branch. This should just be guessed from the argument (number? ticket.
Otherwise, branch). I would recommend just using "git checkout <branch>" to
switch between local branches and only use scripts to download stuff from
trac, though thats a matter of taste.
$ sage -dev checkout -h
usage: sage-dev checkout [-h] [--ticket TICKET] [--branch BRANCH]
[--base BASE]
Checkout another branch.
optional arguments:
-h, --help show this help message and exit
--ticket TICKET a string or an integer identifying a ticket or "None"
(default: "None")
--branch BRANCH a string, the name of a local branch; if "ticket" is
specified, then this defaults to ticket/"ticket".
--base BASE a string or "None", a branch on which to base a new
branch if one is going to be created (default: the
empty string "''" to create the new branch from the
master branch), or a ticket; if "base" is set to
"None", then the current ticket is used. If "base" is
a ticket, then the corresponding dependency will be
added. Must be "''" if "ticket" is not specified.
--
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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.
