Re: [sage-devel] online talk about the github workflow

My recording of the talk is now available at: https://www.youtube.com/watch?v=p3-W43ijTUg On Monday, February 6, 2023 at 10:16:15 AM UTC-8 Matthias Koeppe wrote: > The notes of my talk are available at https://hackmd.io/@mkoeppe/HyibcDT2j > > > On Friday, February 3, 2023 at 8:00:29 AM UTC-8 GMS

Re: [sage-devel] Merging fix for github CI

On Tue, Feb 7, 2023 at 10:42 PM David Roe wrote: > > Thanks Dima! > > There is now an "Update branch" button at the bottom of each PR, which you > can press if you're the originator of the PR and it will merge in develop (there is an option to rebase rather than to merge on this button - althoug

Re: [sage-devel] Merging fix for github CI

Thanks Dima! There is now an "Update branch" button at the bottom of each PR, which you can press if you're the originator of the PR and it will merge in develop. David On Tue, Feb 7, 2023 at 8:18 PM Dima Pasechnik wrote: > done > > On Tue, Feb 7, 2023 at 6:54 PM John Cremona > wrote: > > > >

Re: [sage-devel] Creating a github team

Sure, we can try with actions first. It does not change the implementation of the bot much, just makes persisting the bot's state a bit more complicated. (But that problem has been solved before by others.) On Tuesday, February 7, 2023 at 11:00:14 PM UTC+2 Matthias Koeppe wrote: > I think curr

Re: [sage-devel] Creating a github team

I think currently the only time when there is a shortage of GH Actions runners is after pushing a release tag because then we run the full portability suite, which spins up dozens of builds. On Tuesday, February 7, 2023 at 12:58:04 PM UTC-8 Dima Pasechnik wrote: > > > On Tue, 7 Feb 2023, 20:55

Re: [sage-devel] Creating a github team

On Tue, 7 Feb 2023, 20:55 Matthias Koeppe, wrote: > On Tuesday, February 7, 2023 at 5:33:04 AM UTC-8 David Roe wrote: > On Tue, Feb 7, 2023 at 10:28 AM Eric Gourgoulhon > wrote: > * Julian and I can work on creating a bot for managing component teams. > There will be a top level "Components" tea

Re: [sage-devel] Creating a github team

On Tuesday, February 7, 2023 at 5:33:04 AM UTC-8 David Roe wrote: On Tue, Feb 7, 2023 at 10:28 AM Eric Gourgoulhon wrote: * Julian and I can work on creating a bot for managing component teams. There will be a top level "Components" team, with a sub-team associated to each of our existing comp

Re: [sage-devel] Question about real names in the new github workflow

We have collected these mappings in https://github.com/sagemath/website/blob/master/conf/contributors.xml, which would be easy to read from in a GH Actions workflow. On Tuesday, February 7, 2023 at 8:58:51 AM UTC-8 Dima Pasechnik wrote: > > > On Tue, 7 Feb 2023, 11:33 'Martin R' via sage-deve

Re: [sage-devel] Merging fix for github CI

done On Tue, Feb 7, 2023 at 6:54 PM John Cremona wrote: > > Strong yes from me. > > #34987 concerns a 3-line doctest where only the first has a #long time tag > thought the other lines depend on the first having been run, so causes a > failure when tested without --long. The fix adds two # lon

Re: [sage-devel] Merging fix for github CI

Strong yes from me. #34987 concerns a 3-line doctest where only the first has a #long time tag thought the other lines depend on the first having been run, so causes a failure when tested without --long. The fix adds two # long time tags #34964 trims some whitespace and changes "" to r""" in a fe

[sage-devel] Merging fix for github CI

Hi all, Currently, almost all of the PRs on github aren't passing CI, and thus have red Xs. The problem can be resolved by merging #34964 and #34987 . Several of us

[sage-devel] positively reviewed tickets on trac - do they need PRs?

We have positively reviewed tickets on trac - do we need to do anything, or just wait for the release manager to merge them? Dima -- 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, se

Re: [sage-devel] Creating a github team

On Tue, 7 Feb 2023 at 16:49, David Roe wrote: > In response to Eric's suggestion of having the whole team set as the > reviewer, my main concern is that having a diffuse responsibility will make > it more likely for tickets to slip through the cracks. If you want to > review a ticket and someone

Re: [sage-devel] Question about real names in the new github workflow

On Tue, 7 Feb 2023, 11:33 'Martin R' via sage-devel, < sage-devel@googlegroups.com> wrote: > Has there been already a decision how we incorporate the real name > "Author" and "Reviewer" fields? > > I think that this is rather important, because not making a decision will > probably also be a decis

Re: [sage-devel] Creating a github team

In response to Eric's suggestion of having the whole team set as the reviewer, my main concern is that having a diffuse responsibility will make it more likely for tickets to slip through the cracks. If you want to review a ticket and someone else is assigned by the bot, I think taking over as revi

Re: [sage-devel] Creating a github team

On Tue, 7 Feb 2023, 16:39 John Cremona, wrote: > Re David's #1: Could we only allow PRs to be made by members? (Or is > that against the spirit of open source?) Then, a new contributor would > first ask to become a member, and then would be able to make a PR. > on trac, everyone with a GitHu

Re: [sage-devel] Creating a github team

Re David's #1: Could we only allow PRs to be made by members? (Or is that against the spirit of open source?) Then, a new contributor would first ask to become a member, and then would be able to make a PR. John On Tue, 7 Feb 2023 at 16:29, Eric Gourgoulhon wrote: > Thanks for your reply. >

Re: [sage-devel] Creating a github team

Thanks for your reply. Le mardi 7 février 2023 à 14:33:04 UTC+1, David Roe a écrit : 4. When a component tag is added to a PR (or a new PR created with a component set), if there is no reviewer already requested then the bot will request review from someone on that component team (eventually

Re: [sage-devel] Creating a github team

On Tue, 7 Feb 2023, 13:33 David Roe, wrote: > > > On Tue, Feb 7, 2023 at 10:28 AM Eric Gourgoulhon > wrote: > >> Hi, >> >> Thanks again for all the hard work for the github migration! >> >> I would like to create a team "Manifolds" of https://github.com/sagemath, >> with sufficient permissions s

Re: [sage-devel] Stepping away for a bit

Thank you so much for your work on this transition Matthias! David On Mon, Feb 6, 2023 at 9:34 PM Dima Pasechnik wrote: > > > On Mon, Feb 6, 2023 at 8:17 PM Matthias Koeppe > wrote: > > > > Dear Sage developers, > > As the migration of the Trac tickets to GitHub issues was completed > yesterday

Re: [sage-devel] Creating a github team

On Tue, Feb 7, 2023 at 10:28 AM Eric Gourgoulhon wrote: > Hi, > > Thanks again for all the hard work for the github migration! > > I would like to create a team "Manifolds" of https://github.com/sagemath, > with sufficient permissions so that I can add users to it. How shall I > proceed? Are ther

[sage-devel] Question about real names in the new github workflow

Has there been already a decision how we incorporate the real name "Author" and "Reviewer" fields? I think that this is rather important, because not making a decision will probably also be a decision - there are already several new pull requests. Personally, I am very much for continuing the t

[sage-devel] Creating a github team

Hi, Thanks again for all the hard work for the github migration! I would like to create a team "Manifolds" of https://github.com/sagemath, with sufficient permissions so that I can add users to it. How shall I proceed? Are there any team creation request on the github interface or should some

[sage-devel] Re: why is sagemath 9.8 rc1 still running old maxima build?

El martes, 7 de febrero de 2023 a las 9:35:53 UTC+1, Nasser M. Abbasi escribió: Any chance that 9.8 will use the latest version instead? No. Upgrading maxima needs work, https://github.com/sagemath/sage/issues/33718 -- You received this message because you are subscribed to the Google Gro

[sage-devel] why is sagemath 9.8 rc1 still running old maxima build?

>sage │ SageMath version 9.8.rc1, Release Date: 2023-02-05 │ │ Using Python 3.10.9. Type "help()" for help. │ ━━┓ ┃ Warning: this is a prerelease version, and it may be unstable. ┃ ┗━━