That's right. If you are using the GH cli, that's "gh pr checkout 35865 &&
git checkout - && git merge -"
On Friday, July 7, 2023 at 7:55:32 AM UTC-7 brettpim wrote:
> Matthias,
> So we should Merge your PR into the code for our PR and then merge this
> into our PR?
> brett
>
> On Thursday, J
Matthias,
So we should Merge your PR into the code for our PR and then merge this
into our PR?
brett
On Thursday, July 6, 2023 at 9:12:36 PM UTC-4 brettpim wrote:
>
> Thanks Matthias!
> brett
> On Thursday, July 6, 2023 at 5:14:34 PM UTC-4 Matthias Koeppe wrote:
>
>> It's a bug in the CI scr
Thanks Matthias!
brett
On Thursday, July 6, 2023 at 5:14:34 PM UTC-4 Matthias Koeppe wrote:
> It's a bug in the CI script. Merge
> https://github.com/sagemath/sage/pull/35865, and it will work
>
> On Thursday, July 6, 2023 at 1:47:06 PM UTC-7 Aaron Dwyer wrote:
>
>> I am attempting to add a mo
It's a bug in the CI script.
Merge https://github.com/sagemath/sage/pull/35865, and it will work
On Thursday, July 6, 2023 at 1:47:06 PM UTC-7 Aaron Dwyer wrote:
> I am attempting to add a module to sage "covering_array.py" for an open
> pull request. When building documentation on the pull req
