It worked! I must have disabled the trac pluggin.

Thanks!

On Tue, Jun 14, 2016 at 2:34 PM, Vincent Delecroix <
20100.delecr...@gmail.com> wrote:

> 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 <
>> 20100.delecr...@gmail.com> 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 <dimp...@gmail.com>
>>>> 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 <paulm...@comcast.net>
>>>>>> 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
>>>>>>> sage-devel+...@googlegroups.com.
>>>>>>> To post to this group, send email to sage-...@googlegroups.com.
>>>>>>> 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
>>>>> sage-devel+unsubscr...@googlegroups.com.
>>>>> To post to this group, send email to sage-devel@googlegroups.com.
>>>>> 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
>>> sage-devel+unsubscr...@googlegroups.com.
>>> To post to this group, send email to sage-devel@googlegroups.com.
>>> 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
> sage-devel+unsubscr...@googlegroups.com.
> To post to this group, send email to sage-devel@googlegroups.com.
> 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 sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to