From: briot.emmanuel@gmail.com
Subject: Re: GNAT GPL 2017 X86-64 GNU Linux (64 bits)
Date: Thu, 13 Jul 2017 00:35:46 -0700 (PDT)
Date: 2017-07-13T00:35:46-07:00 [thread overview]
Message-ID: <7c40d367-36d7-43a4-8aec-e82ae5ae8567@googlegroups.com> (raw)
In-Reply-To: <ly37a81arq.fsf@pushface.org>
> I'm a bit surprised it's this way, I have to say. Git doesn't take that
> long to get the statuses.
and GPS should not either. I have done most of the work on this new git
integration, but then left the company so I am not sure whether anything
has changed.
I discovered one issue with the Branches view, there's an exception
raised in some cases. I have submitted a patch, but AdaCore hasn't
integrated it yet.
You could try integrating the patch from https://github.com/AdaCore/gps/pull/17
(purely on the python sources) and see whether things work better.
Otherwise you should definitely report this as an issue (in github I think)
next prev parent reply other threads:[~2017-07-13 7:35 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-07-07 13:32 GNAT GPL 2017 X86-64 GNU Linux (64 bits) lyttlec
2017-07-07 14:06 ` Mark Lorenzen
2017-07-07 18:28 ` lyttlec
2017-07-07 16:18 ` Simon Wright
2017-07-07 18:17 ` lyttlec
2017-07-13 7:35 ` briot.emmanuel [this message]
2017-07-13 8:52 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox