On Monday, January 24, 2022 at 2:35:54 AM UTC+9 Matthias Koeppe wrote:
> Patchbot experts:
> 1) Currently the patchbot does not run on certain tickets that make
> changes to build/pkgs, so we do not have automatic testing for these
> tickets. Is this something that can be changed?
>
I think
And here is one so that on merge conflicts, there is no manual work for the
release managers, and developers get some information about the conflict
other than "merge conflict".
https://github.com/sagemath/git-trac-command/pull/57
On Sunday, January 23, 2022 at 1:18:40 PM UTC-8 Matthias Koeppe
I have also prepared a PR for the "git releasemgr" scripts to make it
easier to merge only tickets in the current milestone.
https://github.com/sagemath/git-trac-command/pull/54
On Sunday, January 23, 2022 at 9:35:54 AM UTC-8 Matthias Koeppe wrote:
> Patchbot experts:
> 1) Currently the patchbo
Thanks, I've opened
- https://github.com/sagemath/sage-patchbot/issues/148
- https://github.com/sagemath/sage-patchbot/issues/149
On Sunday, January 23, 2022 at 11:57:02 AM UTC-8 vdelecroix wrote:
> Le 23/01/2022 à 18:35, Matthias Koeppe a écrit :
> > Patchbot experts:
> > 1) Currently the patch
Le 23/01/2022 à 18:35, Matthias Koeppe a écrit :
Patchbot experts:
1) Currently the patchbot does not run on certain tickets that make changes
to build/pkgs, so we do not have automatic testing for these tickets. Is
this something that can be changed?
I would say that this is doable (since if I
Patchbot experts:
1) Currently the patchbot does not run on certain tickets that make changes
to build/pkgs, so we do not have automatic testing for these tickets. Is
this something that can be changed?
2) Can "make doc-pdf" please be added?
I don't know if Volker's integration scripts look at
