sage-git

On Friday, 30 October 2015 16:14:09 UTC-7, Nathann Cohen wrote: Too bad that there is no reason to

On Wednesday, November 5, 2014 11:21:13 AM UTC-8, Volker Braun wrote: Works for me: $ git describe --

NobleProg is a Training and Consulting provider and we run all types of GIT Training Courses. If you

On Wednesday, August 13, 2014 4:06:00 PM UTC+1, Volker Braun wrote: That probably worked because

My "git trac" subcommand has a function for that: $ git trac log 15619 --oneline 0418a3e

I guess the thing I would most like to see is that the changes that were introduced by this ticket

On 2013-12-21, Vincent Delecroix <20100.d...@gmail.com> wrote: > Where does point your

On Tuesday, January 28, 2014 10:21:41 AM UTC+1, John Cremona wrote: On 28 January 2014 09:17, Jean-

On Fri, Jan 24, 2014 at 10:28 AM, Volker Braun <vbrau...@gmail.com> wrote: > Also, git

Hello ! Here is what I meant : - I have a ticket A with 15 commits on top on the developer branch - I

Hi Andrew, Under the hood the trac plugin is now using pygit2 (a python wrapper for the c library

On 2014-01-10 16:42, Martin R wrote: > There are at least 2 patches where the patchbot currently

I'm getting an error when using dev.push() from sage, which executes git push ssh://git@trac.

It seems like cgit may be doing some caching or something with their queries. I've changed all

On 2014-01-03, Simon King <simon...@uni-jena.de> wrote: > Hi Andrew, > > On 2014-01-

On Sun, Dec 29, 2013 at 4:02 AM, P Purkayastha <ppu...@gmail.com> wrote: Suppose I install sage

Do a "make distclean" to rebuild from scratch. I'm pretty sure that the post-6.0

Thanks! The trac diff viewer (branch name link) is almost certainly wrong, too. Its just the diff

On Thu, Dec 19, 2013 at 1:22 PM, Volker Braun <vbrau...@gmail.com> wrote: I noticed that all

> Things should now work against the develop branch. Thaaaaaaaaaaaaaanks ! :-) Nathann

The patchbot fails to download http://trac.sagemath.org/ticket/15303?format=rss since trac can't

On Tue, Dec 17, 2013 at 5:36 AM, Jeroen Demeyer <jdem...@cage.ugent.be> wrote: > On 2013-12

Pushing also makes the trac server read the changes from the git repo, which is kind of slow. But it

Base should probably go away, it doesn't exactly specify the release. I'll look at fixing

The most recent version is patchbot-2.01 if i remember correctly, maybe that package is lost / in the

On 2013-12-17 15:05, Volker Braun wrote: > Sounds reasonable to me, even though you should

On 12/17/2013 03:18 PM, Volker Braun wrote: > Sounds good... do you want to fix it? ;-) I would

Yoooooooooooooooo !! > Your git is configured to spit out color escape sequenctes in scripts, that

On Tuesday, December 17, 2013 11:51:11 AM UTC, John Cremona wrote: Switching between branches and

> From a developer perspective, you can just pull git and be up to date. > > But from a user