On Tue, Feb 27, 2018 at 9:53 AM, Ralf Stephan wrote:
> On Monday, February 26, 2018 at 8:06:49 PM UTC+1, Erik Bray wrote:
>>
>> I finally tracked down the issue. Someone installed a "zulip_plugin"
>
>
> Thanks. Does that mean zulip no longer gets trac messages?
I guess. David Roe and I will coor
On Monday, February 26, 2018 at 8:06:49 PM UTC+1, Erik Bray wrote:
>
> I finally tracked down the issue. Someone installed a "zulip_plugin"
Thanks. Does that mean zulip no longer gets trac messages?
--
You received this message because you are subscribed to the Google Groups
"sage-devel" gro
SageMath's Zulip server is maintained by David Roe.
See the "Infrastructure" page on SageMath's wiki.
https://wiki.sagemath.org/Infrastructure
Best, Samuel
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and s
I finally tracked down the issue. Someone installed a "zulip_plugin"
(actually half a dozen copies thereof) on the Trac server without my
knowledge.
I think I understand what this is about--I know about the Zulip server
(although I have not used it myself). I keep forgetting who it is
who's mana
Same here.
--
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.co
On Mon, Feb 26, 2018 at 3:28 PM, Eric Gourgoulhon
wrote:
> Another (probably related) trac issue is that after typing the following
> command in a linux console:
> git push trac HEAD:
> everything seems OK except that one does not get the console prompt back (as
> if the command has not terminated
Another (probably related) trac issue is that after typing the following
command in a linux console:
git push trac HEAD:
everything seems OK except that one does not get the console prompt back
(as if the command has not terminated).
Looking at the ticket page, the push seems effective though...
I am also getting similar things on Firefox (or at least it taking a really
long time to reload the page).
Best,
Travis
On Monday, February 26, 2018 at 3:57:28 AM UTC-6, Ralf Stephan wrote:
>
> Hello,
> the last days any ticket change did not refresh the page in chromium here,
> so I always hav