Re: [sage-devel] Re: VOTE: move Sage development to Github

2022-10-02 Thread erentar2002 

+1 for github, +2 for gitlab, +3 for selfhosted gitlab.

trac infrastructure should be backed up to not lose information

On 9/23/22 08:37, Emmanuel Charpentier wrote:

+1 for Github

Also wishing for contingency plan for re-migrating to self-hosted Gitlab.

Le mercredi 21 septembre 2022 à 19:23:36 UTC+2, David Roe a écrit :

Dear Sage developers,
Following extensive discussion, both recently
 
(prompted
by issues upgrading the trac server) and over

the

last

decade
,
we are calling a vote on switching Sage development from Trac
 to Github . 
We've created a summary of the pros and cons of each system
,
a description of the development model to be used on github
,
and a trac ticket  for
coordinating work on the transition.  More work will need to be
done to carry out the actual transition once voting is complete.

The voting will last until noon Eastern time (16:00 UTC) on
Wednesday, October 5.  Please use this thread only for sending
votes, to make it easier to count them afterward; there is a
parallel thread where you can make arguments in favor of either
system.

Finally, I will close with a plea to be involved in this vote and
discussion even if you are not a core Sage developer.  By
definition, core Sage developers have become comfortable with
trac, and I think that one of the major arguments in favor of
github is that it will help bring in new contributors who are not
familiar with Sage's development workfow
.  Anyone
who has ever contributed to the Sage code base or who maintains a
Sage user package is welcome to vote.
David

--
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/2543b60f-4ef8-4e44-8a86-3847f7e7b8dbn%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/c54f8aa6-bdd1-a87d-fef2-162ed9fbb208%40gmail.com.

[sage-devel] Re: VOTE: move Sage development to Github

2022-10-02 Thread Markus Wageringel 
+1 for Github

David Roe schrieb am Mittwoch, 21. September 2022 um 19:23:36 UTC+2:

> Dear Sage developers,
> Following extensive discussion, both recently 
>  
> (prompted 
> by issues upgrading the trac server) and over 
>  the 
>  last 
>  
> decade 
> , we 
> are calling a vote on switching Sage development from Trac 
>  to Github .  We've 
> created a summary of the pros and cons of each system 
> , a 
> description 
> of the development model to be used on github 
> , 
> and a trac ticket  for 
> coordinating work on the transition.  More work will need to be done to 
> carry out the actual transition once voting is complete.
>
> The voting will last until noon Eastern time (16:00 UTC) on Wednesday, 
> October 5.  Please use this thread only for sending votes, to make it 
> easier to count them afterward; there is a parallel thread where you can 
> make arguments in favor of either system.
>
> Finally, I will close with a plea to be involved in this vote and 
> discussion even if you are not a core Sage developer.  By definition, core 
> Sage developers have become comfortable with trac, and I think that one of 
> the major arguments in favor of github is that it will help bring in new 
> contributors who are not familiar with Sage's development workfow 
> .  Anyone who has 
> ever contributed to the Sage code base or who maintains a Sage user package 
> is welcome to vote.
> David
>

-- 
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/1909897b-45d4-49ed-8a71-ac2ed7ed3ccen%40googlegroups.com.

[sage-devel] Re: VOTE: move Sage development to Github

2022-10-02 Thread Keshav Kini 
+1 for GitHub (hi folks 🙂)

-Keshav

On Wednesday, September 21, 2022 at 10:23:36 AM UTC-7 David Roe wrote:

> Dear Sage developers,
> Following extensive discussion, both recently 
>  
> (prompted 
> by issues upgrading the trac server) and over 
>  the 
>  last 
>  
> decade 
> , we 
> are calling a vote on switching Sage development from Trac 
>  to Github .  We've 
> created a summary of the pros and cons of each system 
> , a 
> description 
> of the development model to be used on github 
> , 
> and a trac ticket  for 
> coordinating work on the transition.  More work will need to be done to 
> carry out the actual transition once voting is complete.
>
> The voting will last until noon Eastern time (16:00 UTC) on Wednesday, 
> October 5.  Please use this thread only for sending votes, to make it 
> easier to count them afterward; there is a parallel thread where you can 
> make arguments in favor of either system.
>
> Finally, I will close with a plea to be involved in this vote and 
> discussion even if you are not a core Sage developer.  By definition, core 
> Sage developers have become comfortable with trac, and I think that one of 
> the major arguments in favor of github is that it will help bring in new 
> contributors who are not familiar with Sage's development workfow 
> .  Anyone who has 
> ever contributed to the Sage code base or who maintains a Sage user package 
> is welcome to vote.
> David
>

-- 
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/6685578f-6bef-4554-8915-3c06d3420cb5n%40googlegroups.com.

[sage-devel] Re: DISCUSS: move Sage development to Github

2022-10-02 Thread Nils Bruin 
Speaking of backups ... do we backup the sage-devel, sage-support news 
groups? It contains a lot of stuff that loses relevance with time, but 
every now and again there are discussions that contain important bits of 
information. In fact, they are sometimes referred to on trac, via 
super-opaque URLs. So I suspect google groups going down (which is probably 
a less unlikely event than github ending) would actually damage those links 
irretrievably.

I recognize that we have limited resources for backing up stuff. We should 
be using our resources and time in a smart way to back up things that will 
have most effect. But it's probably worth it for someone to spend a bit of 
to determine how to back up sage-devel (that's easy going forward since it 
can just send email digests; and someone may have been storing those 
already) and how to refer to threads -- perhaps a date is better than a URL 
-- as long as we can have a list archive that allows searching by date (I'm 
not so sure google's web interface allows it), and then perhaps draw the 
conclusion that it's not worth the effort to archive?

-- 
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/ef44f7bf-5b78-43c2-897f-694cad213861n%40googlegroups.com.

[sage-devel] Re: Invitation: Weekly 30-minute Sage developer calls on Jitsi

2022-10-02 Thread Matthias Koeppe 
New times:

Calls for Europe / Africa / Americas:

Monday noon, 12:15pm San Francisco
Monday afternoon, 3:15pm New York
Monday evening, 21:15 Paris
https://meet.jit.si/VibrantTribesBearEver 



Calls for Americas / Asia-Pacific region:

Thursday evening, 7:15pm Oakland (California)
Thursday evening, 10:15pm New York
Friday afternoon, 2:15pm Auckland (New Zealand)
Friday morning, 11:15 Tokyo
https://meet.jit.si/WellMixesPictureThere 



On Thursday, September 29, 2022 at 8:26:48 PM UTC-7 Matthias Koeppe wrote:

> On Monday, September 19, 2022 at 9:02:39 PM UTC-7 Matthias Koeppe wrote:
>
>> We are switching to video conferencing on Jitsi from now on. It is open 
>> source software; see https://jitsi.org/about/
>>
>> Thanks to all who filled out the poll to find times for regular meetings. 
>> We'll use the following weekly schedule from now on. (The poll is still 
>> open -- we can periodically readjust according to people's changing 
>> availability – http://whenisgood.net/2kbimt4)
>>
>> You can put these meetings on your calendar by subscribing to this Google 
>> calendar:
>>
>> https://calendar.google.com/calendar/u/0?cid=YXI3bzc4ZXE3bW42NWd2dnZwajVtOGc5NGNAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ
>>
>> (Organizers of other Sage activities around the world: Contact me if you 
>> wish to put your activities on the calendar.)
>>
>>

-- 
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/c2a11451-18f4-4679-8147-730fd5132934n%40googlegroups.com.