Which git are you using? The one from your system or the one from Sage?
One possible way to get the answer it is to run
$ which git
Depending on your configuration, a complete Sage rebuild might have
disable the trac plugin. You can try to follow the instructions at
http://doc.sagemath.org/html/en/developer/git_trac.html
Vincent
On 14/06/16 21:20, Rebecca Miller wrote:
I mean to do git trac push ticket #, but it says that trac is not a git
command. Could this have anything to do with my major rebuild?
On Tue, Jun 14, 2016 at 2:14 PM, Vincent Delecroix <
[email protected]> wrote:
"git push trac" or "git trac push"? The former is a standard git command
(refering to a remote "trac") while the second calls the command "push" of
the trac plugin...
On 14/06/16 20:57, Rebecca Miller wrote:
So I checked my log and the commit is in there. I juts did Git push trac
20820, which is my ticket number.
I've always used this command before. Now I did have to rebuild my sage
from scratch after the last beta, because it rewuired I update my
operating
System.
Thanks,
Rebecca
On Tue, Jun 14, 2016 at 1:48 PM, Dima Pasechnik <[email protected]>
wrote:
what are the commands you did?
On Tuesday, June 14, 2016 at 7:47:46 PM UTC+1, Rebecca Miller wrote:
Yes I did.
On Tue, Jun 14, 2016 at 1:33 PM, Paul Masson <[email protected]>
wrote:
Did you commit?
http://stackoverflow.com/questions/4181861/src-refspec-master-does-not-match-any-when-pushing-commits-in-git
--
You received this message because you are subscribed to a topic in the
Google Groups "sage-devel" group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/sage-devel/xZc8IFAqfg0/unsubscribe.
To unsubscribe from this group and all its topics, send an email to
[email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to a topic in the
Google Groups "sage-devel" group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/sage-devel/xZc8IFAqfg0/unsubscribe.
To unsubscribe from this group and all its topics, send an email to
[email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to a topic in the
Google Groups "sage-devel" group.
To unsubscribe from this topic, visit
https://groups.google.com/d/topic/sage-devel/xZc8IFAqfg0/unsubscribe.
To unsubscribe from this group and all its topics, send an email to
[email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
--
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
