You may have to force-pull the release tags: git fetch --tags -f upstream
On Wednesday, November 15, 2023 at 1:51:07 AM UTC-8 John Cremona wrote: Is it expected that doing "git pull upstream develop" on top of the rc1 commit should be a merge? On Tue, 14 Nov 2023 at 23:13, Volker Braun <[email protected]> wrote: As always, you can get the latest beta version from the "develop" git branch. Alternatively, the self-contained source tarball is at http://www.sagemath.org/download-latest.html fa5c9395d3e (tag: 10.2.rc3, github/develop) Updated SageMath version to 10.2.rc3 705a0ee9bf3 gh-36711: CI macOS: Build following stages even when some job failed; adjust platforms 7f6a2a7e6a8 gh-36708: CI Linux: Fixes for tests of optional packages dccb4127165 gh-36707: `build/pkgs/nauty`: Handle `SAGE_FAT_BINARY` 82a3102d058 gh-36699: CI Linux: Follow-up fix for conda-forge-python3.11 4d2dd497f5f gh-36696: Fix SSL timeout in doctest / internet feature 613775f17bd gh-36692: Make doc-pdf separate from doc-html 606c816a9d9 gh-36670: .github/workflows/docker.yml: Interrupt the build before the 6 hour cancellation 9953321a2d2 gh-36660: .github/workflows/ci-linux.yml: Fine-tune max-parallel 4430e4cc37c (tag: 10.2.rc2) Updated SageMath version to 10.2.rc2 -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/8593234a-b974-40f0-be55-8ec14c975231n%40googlegroups.com <https://groups.google.com/d/msgid/sage-release/8593234a-b974-40f0-be55-8ec14c975231n%40googlegroups.com?utm_medium=email&utm_source=footer> . -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/db4ffd07-b437-4d4c-bf79-3f4f7928a084n%40googlegroups.com.
