On Sun, Jan 11, 2015 at 3:00 AM, Simon King simon.k...@uni-jena.de wrote:
Hi!
On 2015-01-11, Nils Bruin nbr...@sfu.ca wrote:
On Sunday, January 11, 2015 at 12:54:56 AM UTC-8, Martin von Gagern wrote:
On 11.01.2015 09:38, Robert Bradshaw wrote:
Hopefully it's becoming stable enough that
I found them quite practical, and you may recall from the discussions in
Paris that I'd like them to be extended so that they are also able to
send bug reports to the bug trackers of Singular/Gap/..., so that there is
no need to google how to report bugs in Singular.
Nonetheless, I stopped
Yo !
Nathann, that's about git in developer docs, so that's not 100% off the
thread :-)
Well, as long as we can close the question related to the removal of
the sage-dev scripts, I personally don't care what this thread
becomes. But I need to know what to do with that ! :-P
One thing that
Once again: whenever I do git fetch from trac I get a local branch
created on the spot:
Can you give us the command that you type that produces this result ?
Nathann
--
You received this message because you are subscribed to the Google Groups
sage-devel group.
To unsubscribe from this group
Yo !
I did give it here:
https://groups.google.com/d/msg/sage-devel/JtVWAdvw-3A/603M_PziLfUJ
(if it matters, my git version is 1.9.1)
Oh !!! That's because your git instal contains a
complete copy of the trac's git server. You've got ALL branches on
your computer. So when you
I don't know how one can automatically maintain a mirror of git trac,
without running a special script, and I believe I don't do this.
I believe that it is what happens in your case, because that's the
default. If you want to check, you can git clone Sage again and
fetch a branch from there.
Are you saying that the default is to constantly pull the data from the
remote, in the background? Really?
Type git branch. If you see one thousand things you never fetched
from trac, that's a confirmation.
Could you point to documentation confirming this?
I do not think that it is written
Further, 'Git the hard way' should be consistent, but it
does not tell you about '--single-branch'.
Dima: If you want it to change, do something.
1) Write doc tickets
2) help me review mine.
well, before improving at this point, we need to dig up the truth :-)
I gave you two ways out:
1)
I reglarly use the dev scripts. So i would really appreciate if they remain.
Oh. Well, the developer's manual advises you to NOT use them :-P
But of course, if they are removed i will adapt to plain git or git trac.
But my personal preference is to keep them.
Could you why you use them
On Saturday, December 27, 2014 1:22:29 PM UTC+1, Nathann Cohen wrote:
Type git branch. If you see one thousand things you never fetched
from trac, that's a confirmation.
The output of git branch will always only contain branches that you
created locally.
There is a slight difference
The output of git branch will always only contain branches that you
created locally.
Okay. Then Dima: instead of git branch try git branch -a.
It gives only two lines on my version, but my guess is that it will
take several screens for you.
Only because of the --single-branch flag.
Nathann
-a, --all
List both remote-tracking branches and local branches.
I of course agree that you can set git to not look at remote branches, but
as long as you don't explicitly ask for the list of remote branches they
are not shown in the output of git branch. And, regardless of
Could you why you use them instead of 'git trac' ? Is there something
that they do and that git trac can't do ?
As i said, it is just what i am used to. It is what i did learn to use in
the beginning, and up to now i didn't had any reason to stop using them. I
don't really know what
Sorry, it seems my message was interrupted.
If you want to remove the documentation about them from the developper
guide, it is ok with me.
--
You received this message because you are subscribed to the Google Groups
sage-devel group.
To unsubscribe from this group and stop receiving emails
If you want to remove the documentation about them from the developper
guide, it is ok with me.
Okay okay, fine. I think that I will do that then, unless somebody objects.
This way those who still use them can continue, and we hope that in
something like 6 months~1 year you will have switched
The branch is there, ready for a review:
http://trac.sagemath.org/ticket/17555
Nathann
--
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
By the way, I noticed some change in the behaviour of trac git server;
it seems that fetching u/foo/bar automatically results in
creation of a local branch trac/u/foo/bar.
Is this documented anywhere?
No idea. Really, these days I am trying to make the developer's manual
something I can
Hey guys... I hate to interrupt your debugging but I had a question
about Sage-devel. Can I create a patch to remove that, in the end ?
Nathann
On 27 December 2014 at 03:45, Volker Braun vbraun.n...@gmail.com wrote:
I'd say by definition a git branch is what is listed by git branch. Having
Hey guys... I hate to interrupt your debugging but I had a question
about The Sage dev scripts. Can I create a patch to remove that, in
the end ?
Nathann
--
You received this message because you are subscribed to the Google Groups
sage-devel group.
To unsubscribe from this group and stop
19 matches
Mail list logo