Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-31 Thread Matthias Koeppe 
I think it can be done in the same code that provides the ticket box or the 
CI badges,

On Tuesday, January 31, 2023 at 12:00:20 PM UTC-8 Matthias Koeppe wrote:

> Yes, that is planned as the last item in 
> https://github.com/sagemath/trac-to-github/issues/73
> This will need help from a Trac admin.
>
> On Tuesday, January 31, 2023 at 11:31:16 AM UTC-8 John H Palmieri wrote:
>
>> Is there going to be one more round of (presumably automatic) additions 
>> to trac, providing a link from each trac ticket to the corresponding GH 
>> issue?
>>
>>
>> On Monday, January 30, 2023 at 2:06:34 PM UTC-8 dim...@gmail.com wrote:
>>
>>> On Mon, Jan 30, 2023 at 9:56 PM Kwankyu Lee  wrote: 
>>> > 
>>> > On Tuesday, January 31, 2023 at 5:41:39 AM UTC+9 dim...@gmail.com 
>>> wrote: 
>>> > 
>>> > Did you log out? Or you were basically kicked out? 
>>> > 
>>> > I didn't log out. 
>>>
>>> OK, so perhaps (former) TRAC_ADMINS, such as David, are treated 
>>> differently? 
>>> OK, it's good news. We didn't have many of these (under 20), so it's 
>>> reasonable to assume they won't 
>>> go change contents, if for some reason they have an authenticated to 
>>> trac browser session lying somewhere... 
>>>
>>>
>>>
>>> > 
>>> > -- 
>>> > 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+...@googlegroups.com. 
>>> > To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/sage-devel/e92978b7-54f7-4a18-ad89-30c64ce306d3n%40googlegroups.com.
>>>  
>>>
>>>
>>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/341a07f0-ca0b-42b1-8418-0c9d1ecf1ee9n%40googlegroups.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-31 Thread Matthias Koeppe 
Yes, that is planned as the last item 
in https://github.com/sagemath/trac-to-github/issues/73
This will need help from a Trac admin.

On Tuesday, January 31, 2023 at 11:31:16 AM UTC-8 John H Palmieri wrote:

> Is there going to be one more round of (presumably automatic) additions to 
> trac, providing a link from each trac ticket to the corresponding GH issue?
>
>
> On Monday, January 30, 2023 at 2:06:34 PM UTC-8 dim...@gmail.com wrote:
>
>> On Mon, Jan 30, 2023 at 9:56 PM Kwankyu Lee  wrote:
>> >
>> > On Tuesday, January 31, 2023 at 5:41:39 AM UTC+9 dim...@gmail.com 
>> wrote:
>> >
>> > Did you log out? Or you were basically kicked out?
>> >
>> > I didn't log out.
>>
>> OK, so perhaps (former) TRAC_ADMINS, such as David, are treated 
>> differently?
>> OK, it's good news. We didn't have many of these (under 20), so it's
>> reasonable to assume they won't
>> go change contents, if for some reason they have an authenticated to
>> trac browser session lying somewhere...
>>
>>
>>
>> >
>> > --
>> > 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+...@googlegroups.com.
>> > To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/e92978b7-54f7-4a18-ad89-30c64ce306d3n%40googlegroups.com
>> .
>>
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/a060822b-5c44-4546-b557-244fbd6a48ffn%40googlegroups.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-31 Thread John H Palmieri 
Is there going to be one more round of (presumably automatic) additions to 
trac, providing a link from each trac ticket to the corresponding GH issue?


On Monday, January 30, 2023 at 2:06:34 PM UTC-8 dim...@gmail.com wrote:

> On Mon, Jan 30, 2023 at 9:56 PM Kwankyu Lee  wrote:
> >
> > On Tuesday, January 31, 2023 at 5:41:39 AM UTC+9 dim...@gmail.com wrote:
> >
> > Did you log out? Or you were basically kicked out?
> >
> > I didn't log out.
>
> OK, so perhaps (former) TRAC_ADMINS, such as David, are treated 
> differently?
> OK, it's good news. We didn't have many of these (under 20), so it's
> reasonable to assume they won't
> go change contents, if for some reason they have an authenticated to
> trac browser session lying somewhere...
>
>
>
> >
> > --
> > 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+...@googlegroups.com.
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/e92978b7-54f7-4a18-ad89-30c64ce306d3n%40googlegroups.com
> .
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/d52b9dd9-90ae-4ddb-9a8e-a97921ac4455n%40googlegroups.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread Dima Pasechnik 
On Mon, Jan 30, 2023 at 9:56 PM Kwankyu Lee  wrote:
>
> On Tuesday, January 31, 2023 at 5:41:39 AM UTC+9 dim...@gmail.com wrote:
>
> Did you log out? Or you were basically kicked out?
>
> I didn't log out.

OK, so perhaps (former) TRAC_ADMINS, such as David, are treated differently?
OK, it's good news. We didn't have many of these (under 20), so it's
reasonable to assume they won't
go change contents, if for some reason they have an authenticated to
trac browser session lying somewhere...



>
> --
> 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/e92978b7-54f7-4a18-ad89-30c64ce306d3n%40googlegroups.com.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq35tp-ae_9JYLdnFjQMsabg%2BYOxk6WczPVgyaYrvivLQg%40mail.gmail.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread Kwankyu Lee 
On Tuesday, January 31, 2023 at 5:41:39 AM UTC+9 dim...@gmail.com wrote:

Did you log out? Or you were basically kicked out?

I didn't log out.  

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/e92978b7-54f7-4a18-ad89-30c64ce306d3n%40googlegroups.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread Dima Pasechnik 
On Mon, Jan 30, 2023 at 8:54 PM David Roe  wrote:
>
> I haven't been logged out, and am still able to edit my comments.

Could you try now?

> David
>
> On Mon, Jan 30, 2023 at 3:41 PM Dima Pasechnik  wrote:
>>
>> On Mon, Jan 30, 2023 at 8:38 PM Kwankyu Lee  wrote:
>> >
>> > On Tuesday, January 31, 2023 at 5:15:24 AM UTC+9 dim...@gmail.com wrote:
>> > that's cause I have to run "trac-admin" - and it breaks www access.
>> >
>> > I'll restore it after I am done.
>> >
>> > It's restored. Happily I cannot login to trac.
>>
>> Did you log out? Or you were basically kicked out?
>>
>> >
>> >
>> > --
>> > 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 view this discussion on the web visit 
>> > https://groups.google.com/d/msgid/sage-devel/926bbfc9-fa33-4e30-a14c-e53e950146d0n%40googlegroups.com.
>>
>> --
>> 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 view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/CAAWYfq3PZo5%2BB0knaUV8742UmgC3N_EFXLVQz1KU2JVifS9aYg%40mail.gmail.com.
>
> --
> 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/CAChs6_%3Dz8nxUJAkk0tU%3D%3D%3DzhY3rsxgtTbpmFPtSKmkwZYt_YWw%40mail.gmail.com.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq2T_sCVTys9Rvs%3DzBPqS1rDkbi3hPG0GR6VNToEYKLPCQ%40mail.gmail.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread David Roe 
I haven't been logged out, and am still able to edit my comments.
David

On Mon, Jan 30, 2023 at 3:41 PM Dima Pasechnik  wrote:

> On Mon, Jan 30, 2023 at 8:38 PM Kwankyu Lee  wrote:
> >
> > On Tuesday, January 31, 2023 at 5:15:24 AM UTC+9 dim...@gmail.com wrote:
> > that's cause I have to run "trac-admin" - and it breaks www access.
> >
> > I'll restore it after I am done.
> >
> > It's restored. Happily I cannot login to trac.
>
> Did you log out? Or you were basically kicked out?
>
> >
> >
> > --
> > 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/926bbfc9-fa33-4e30-a14c-e53e950146d0n%40googlegroups.com
> .
>
> --
> 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/CAAWYfq3PZo5%2BB0knaUV8742UmgC3N_EFXLVQz1KU2JVifS9aYg%40mail.gmail.com
> .
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAChs6_%3Dz8nxUJAkk0tU%3D%3D%3DzhY3rsxgtTbpmFPtSKmkwZYt_YWw%40mail.gmail.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread Dima Pasechnik 
On Mon, Jan 30, 2023 at 8:38 PM Kwankyu Lee  wrote:
>
> On Tuesday, January 31, 2023 at 5:15:24 AM UTC+9 dim...@gmail.com wrote:
> that's cause I have to run "trac-admin" - and it breaks www access.
>
> I'll restore it after I am done.
>
> It's restored. Happily I cannot login to trac.

Did you log out? Or you were basically kicked out?

>
>
> --
> 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/926bbfc9-fa33-4e30-a14c-e53e950146d0n%40googlegroups.com.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq3PZo5%2BB0knaUV8742UmgC3N_EFXLVQz1KU2JVifS9aYg%40mail.gmail.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread Kwankyu Lee 
On Tuesday, January 31, 2023 at 5:15:24 AM UTC+9 dim...@gmail.com wrote:
that's cause I have to run "trac-admin" - and it breaks www access.

I'll restore it after I am done.

It's restored. Happily I cannot login to trac.
 

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/926bbfc9-fa33-4e30-a14c-e53e950146d0n%40googlegroups.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread Dima Pasechnik 
On Mon, 30 Jan 2023, 19:50 Kwankyu Lee,  wrote:

> For me, Trac is down,
>
> OSError: [Errno 13] Permission denied:
> '/srv/trac/sage_trac/gitolite-admin/conf/gitolite.conf'
>

that's cause I have to run "trac-admin" - and it breaks www access.

I'll restore it after I am done.



> --
> 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/b02155c6-99d6-4c11-83ad-ea53bd2fd26an%40googlegroups.com
> 
> .
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq36H-jzUoH1Gx5-PH-rdRfyEJCxPFe8Gu4sGcUmYsB3bw%40mail.gmail.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread Kwankyu Lee 
For me, Trac is down,

OSError: [Errno 13] Permission denied: 
'/srv/trac/sage_trac/gitolite-admin/conf/gitolite.conf'

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/b02155c6-99d6-4c11-83ad-ea53bd2fd26an%40googlegroups.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread David Roe 
Unfortunately, I was still able to edit the comment.
David

On Mon, Jan 30, 2023 at 12:49 PM Dima Pasechnik  wrote:

> On Mon, Jan 30, 2023 at 4:12 PM David Roe  wrote:
> >
> > I am still able to edit comments (see
> https://trac.sagemath.org/ticket/11777#comment:5), but there doesn't seem
> to be a way to edit the ticket's overall status.
>
> David - I'm trying to see if I was able to remotely "kick you out" -
> assuming you didn't log out, can you still edit
> comments?
>
> >
> > I think this is probably alright, if you're struggling to figure out how
> to disable editing comments.
> > David
> >
> > On Mon, Jan 30, 2023 at 11:02 AM Dima Pasechnik 
> wrote:
> >>
> >> Could someone with a "legacy" trac account quickly check whether they
> >> can modify tickets. (me and mkoeppe are still able, but that's the
> >> current setup)
> >>
> >> Thanks much
> >>
> >> On Mon, Jan 30, 2023 at 3:35 PM Dima Pasechnik 
> wrote:
> >> >
> >> > On Mon, Jan 30, 2023 at 2:49 PM Eric Gourgoulhon <
> egourgoul...@gmail.com> wrote:
> >> > >
> >> > > Le lundi 30 janvier 2023 à 15:07:36 UTC+1, dim...@gmail.com a
> écrit :
> >> > > OK, it should be read-only now (for pushing, ticket
> >> > > creating/modifying, other state-changing admin)
> >> > >
> >> > > Thank you Dima!
> >> > >
> >> > > Logins still work though, but they have no effect on anything, as
> far
> >> > > as I can see.
> >> > >
> >> > > Please let me know if for some reason you still can modify things!
> >> > >
> >> > >
> >> > > It seems that, once logged in, one can still modify a ticket
> comment, see
> >> > > https://trac.sagemath.org/ticket/30525#comment:106
> >> > >
> >> >
> >> > hmm. Could you try now?
> >> > (I've rebooted the server, it might have helped...)
> >> >
> >> > (sorry, I only tested with gh-*- accounts, they did look  readonly.)
> >> >
> >> >
> >> > > Eric.
> >> > >
> >> > > --
> >> > > 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/a327a441-4153-4173-b6b7-abc219ec7932n%40googlegroups.com
> .
> >>
> >> --
> >> 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/CAAWYfq1%3DLjuVST_FEESLVm%3DCpJ3mb9TJ8_ffwALcO-heCiBhGg%40mail.gmail.com
> .
> >
> > --
> > 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/CAChs6_n-EH0%3Dd%2BZQA7BzTOAfSy1LN_sGN7NzCm8hsmRAqbGHKA%40mail.gmail.com
> .
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAChs6_nyi2hX-uTamNsrNDzgV%2BEACVLGVj8kB2JnXAze%3DwhntQ%40mail.gmail.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread Dima Pasechnik 
On Mon, Jan 30, 2023 at 4:12 PM David Roe  wrote:
>
> I am still able to edit comments (see 
> https://trac.sagemath.org/ticket/11777#comment:5), but there doesn't seem to 
> be a way to edit the ticket's overall status.

David - I'm trying to see if I was able to remotely "kick you out" -
assuming you didn't log out, can you still edit
comments?

>
> I think this is probably alright, if you're struggling to figure out how to 
> disable editing comments.
> David
>
> On Mon, Jan 30, 2023 at 11:02 AM Dima Pasechnik  wrote:
>>
>> Could someone with a "legacy" trac account quickly check whether they
>> can modify tickets. (me and mkoeppe are still able, but that's the
>> current setup)
>>
>> Thanks much
>>
>> On Mon, Jan 30, 2023 at 3:35 PM Dima Pasechnik  wrote:
>> >
>> > On Mon, Jan 30, 2023 at 2:49 PM Eric Gourgoulhon  
>> > wrote:
>> > >
>> > > Le lundi 30 janvier 2023 à 15:07:36 UTC+1, dim...@gmail.com a écrit :
>> > > OK, it should be read-only now (for pushing, ticket
>> > > creating/modifying, other state-changing admin)
>> > >
>> > > Thank you Dima!
>> > >
>> > > Logins still work though, but they have no effect on anything, as far
>> > > as I can see.
>> > >
>> > > Please let me know if for some reason you still can modify things!
>> > >
>> > >
>> > > It seems that, once logged in, one can still modify a ticket comment, see
>> > > https://trac.sagemath.org/ticket/30525#comment:106
>> > >
>> >
>> > hmm. Could you try now?
>> > (I've rebooted the server, it might have helped...)
>> >
>> > (sorry, I only tested with gh-*- accounts, they did look  readonly.)
>> >
>> >
>> > > Eric.
>> > >
>> > > --
>> > > 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 view this discussion on the web visit 
>> > > https://groups.google.com/d/msgid/sage-devel/a327a441-4153-4173-b6b7-abc219ec7932n%40googlegroups.com.
>>
>> --
>> 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 view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/CAAWYfq1%3DLjuVST_FEESLVm%3DCpJ3mb9TJ8_ffwALcO-heCiBhGg%40mail.gmail.com.
>
> --
> 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/CAChs6_n-EH0%3Dd%2BZQA7BzTOAfSy1LN_sGN7NzCm8hsmRAqbGHKA%40mail.gmail.com.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq3CeDW_8DjKi%3DNteiGYqf0qdLxrAVxKBxyBskCKEWaPAQ%40mail.gmail.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread Dima Pasechnik 
On Mon, Jan 30, 2023 at 4:58 PM John Cremona  wrote:
>
>
>
> On Mon, 30 Jan 2023, 16:02 Dima Pasechnik,  wrote:
>>
>> Could someone with a "legacy" trac account quickly check whether they
>> can modify tickets. (me and mkoeppe are still able, but that's the
>> current setup)
>
>
> I could not login, the username cremona and my password were deemed invalid.

yes, I know - the problem is how to expire the logged in sessions
(i.e. if you were logged in, your browser still would have held a
token allowing you do effect changes -
until you logged out. That's of course a bog-standard issue for web
apps, but trac does not seem to offer
an easy way to deal with it)


>
> John
>
>
>>
>> Thanks much
>>
>> On Mon, Jan 30, 2023 at 3:35 PM Dima Pasechnik  wrote:
>> >
>> > On Mon, Jan 30, 2023 at 2:49 PM Eric Gourgoulhon  
>> > wrote:
>> > >
>> > > Le lundi 30 janvier 2023 à 15:07:36 UTC+1, dim...@gmail.com a écrit :
>> > > OK, it should be read-only now (for pushing, ticket
>> > > creating/modifying, other state-changing admin)
>> > >
>> > > Thank you Dima!
>> > >
>> > > Logins still work though, but they have no effect on anything, as far
>> > > as I can see.
>> > >
>> > > Please let me know if for some reason you still can modify things!
>> > >
>> > >
>> > > It seems that, once logged in, one can still modify a ticket comment, see
>> > > https://trac.sagemath.org/ticket/30525#comment:106
>> > >
>> >
>> > hmm. Could you try now?
>> > (I've rebooted the server, it might have helped...)
>> >
>> > (sorry, I only tested with gh-*- accounts, they did look  readonly.)
>> >
>> >
>> > > Eric.
>> > >
>> > > --
>> > > 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 view this discussion on the web visit 
>> > > https://groups.google.com/d/msgid/sage-devel/a327a441-4153-4173-b6b7-abc219ec7932n%40googlegroups.com.
>>
>> --
>> 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 view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/CAAWYfq1%3DLjuVST_FEESLVm%3DCpJ3mb9TJ8_ffwALcO-heCiBhGg%40mail.gmail.com.
>
> --
> 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 view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/CAD0p0K5LGRDYKas2tUNvcfz1_hpPH51eg9JZDoLAEiNKWU9bWQ%40mail.gmail.com.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq1%3DQ6cXZJEQ73qsNXhcrK8%2BAVKrsHbziSiYx2nixYs0NQ%40mail.gmail.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread John Cremona 
On Mon, 30 Jan 2023, 16:02 Dima Pasechnik,  wrote:

> Could someone with a "legacy" trac account quickly check whether they
> can modify tickets. (me and mkoeppe are still able, but that's the
> current setup)
>

I could not login, the username cremona and my password were deemed invalid.

John



> Thanks much
>
> On Mon, Jan 30, 2023 at 3:35 PM Dima Pasechnik  wrote:
> >
> > On Mon, Jan 30, 2023 at 2:49 PM Eric Gourgoulhon 
> wrote:
> > >
> > > Le lundi 30 janvier 2023 à 15:07:36 UTC+1, dim...@gmail.com a écrit :
> > > OK, it should be read-only now (for pushing, ticket
> > > creating/modifying, other state-changing admin)
> > >
> > > Thank you Dima!
> > >
> > > Logins still work though, but they have no effect on anything, as far
> > > as I can see.
> > >
> > > Please let me know if for some reason you still can modify things!
> > >
> > >
> > > It seems that, once logged in, one can still modify a ticket comment,
> see
> > > https://trac.sagemath.org/ticket/30525#comment:106
> > >
> >
> > hmm. Could you try now?
> > (I've rebooted the server, it might have helped...)
> >
> > (sorry, I only tested with gh-*- accounts, they did look  readonly.)
> >
> >
> > > Eric.
> > >
> > > --
> > > 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/a327a441-4153-4173-b6b7-abc219ec7932n%40googlegroups.com
> .
>
> --
> 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/CAAWYfq1%3DLjuVST_FEESLVm%3DCpJ3mb9TJ8_ffwALcO-heCiBhGg%40mail.gmail.com
> .
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAD0p0K5LGRDYKas2tUNvcfz1_hpPH51eg9JZDoLAEiNKWU9bWQ%40mail.gmail.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread David Roe 
I am still able to edit comments (see
https://trac.sagemath.org/ticket/11777#comment:5), but there doesn't seem
to be a way to edit the ticket's overall status.

I think this is probably alright, if you're struggling to figure out how to
disable editing comments.
David

On Mon, Jan 30, 2023 at 11:02 AM Dima Pasechnik  wrote:

> Could someone with a "legacy" trac account quickly check whether they
> can modify tickets. (me and mkoeppe are still able, but that's the
> current setup)
>
> Thanks much
>
> On Mon, Jan 30, 2023 at 3:35 PM Dima Pasechnik  wrote:
> >
> > On Mon, Jan 30, 2023 at 2:49 PM Eric Gourgoulhon 
> wrote:
> > >
> > > Le lundi 30 janvier 2023 à 15:07:36 UTC+1, dim...@gmail.com a écrit :
> > > OK, it should be read-only now (for pushing, ticket
> > > creating/modifying, other state-changing admin)
> > >
> > > Thank you Dima!
> > >
> > > Logins still work though, but they have no effect on anything, as far
> > > as I can see.
> > >
> > > Please let me know if for some reason you still can modify things!
> > >
> > >
> > > It seems that, once logged in, one can still modify a ticket comment,
> see
> > > https://trac.sagemath.org/ticket/30525#comment:106
> > >
> >
> > hmm. Could you try now?
> > (I've rebooted the server, it might have helped...)
> >
> > (sorry, I only tested with gh-*- accounts, they did look  readonly.)
> >
> >
> > > Eric.
> > >
> > > --
> > > 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/a327a441-4153-4173-b6b7-abc219ec7932n%40googlegroups.com
> .
>
> --
> 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 view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/CAAWYfq1%3DLjuVST_FEESLVm%3DCpJ3mb9TJ8_ffwALcO-heCiBhGg%40mail.gmail.com
> .
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAChs6_n-EH0%3Dd%2BZQA7BzTOAfSy1LN_sGN7NzCm8hsmRAqbGHKA%40mail.gmail.com.

Re: URGENT: Re: [sage-devel] Jan 30 to Feb 4: Trac downtime, migration to GitHub

2023-01-30 Thread TB 

See https://trac.sagemath.org/ticket/31446#comment:17
Getting to the "Edit" button was tricky.

On 30/01/2023 18:02, Dima Pasechnik wrote:

Could someone with a "legacy" trac account quickly check whether they
can modify tickets. (me and mkoeppe are still able, but that's the
current setup)

Thanks much

On Mon, Jan 30, 2023 at 3:35 PM Dima Pasechnik  wrote:


On Mon, Jan 30, 2023 at 2:49 PM Eric Gourgoulhon  wrote:


Le lundi 30 janvier 2023 à 15:07:36 UTC+1, dim...@gmail.com a écrit :
OK, it should be read-only now (for pushing, ticket
creating/modifying, other state-changing admin)

Thank you Dima!

Logins still work though, but they have no effect on anything, as far
as I can see.

Please let me know if for some reason you still can modify things!


It seems that, once logged in, one can still modify a ticket comment, see
https://trac.sagemath.org/ticket/30525#comment:106



hmm. Could you try now?
(I've rebooted the server, it might have helped...)

(sorry, I only tested with gh-*- accounts, they did look  readonly.)



Eric.

--
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/a327a441-4153-4173-b6b7-abc219ec7932n%40googlegroups.com.




--
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/dadfe94b-dabe-d37c-7b1b-8ee601075594%40gmail.com.