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, 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 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 request I get an >>>> error >>>> >>>> "Warning: Could not import sage.combinat.designs.covering_array No >>>> module named 'sage.combinat.designs.covering_array' >>>> >>>> although the file covering_array.py is in the sage/combinat/designs >>>> folder. This error does not show up when I build documentation locally. >>>> When run locally, the combinat section of the documentation is formatted >>>> incorrectly however the text of the documentation in the covering_array.py >>>> file does appear as expected. >>>> >>>> This error was not occurring in previous versions of the PR but I >>>> cannot tell what changed that causes it, especially since the error >>>> message >>>> is not telling me much. >>>> >>>> How would I fix or narrow down this error? Do I need to add a link to >>>> the file elsewhere? >>>> >>>> Thanks >>>> >>>> >>>> -- 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/8bc11c14-e9bc-422f-99ca-07fadd6624b1n%40googlegroups.com.