1. If a developers wants to run the standard set of CI tests, just pushing a tag is a simpler interface than creating a pull request: git tag -f "ci" && git push --force github "ci"

2. Also this ensures that releases always trigger a CI test.

Follow-up (wishlist): #29535 Customize CI workflows on GitHub Actions using specially structured tag names

Depends on #29403
Depends on #29341

CC: @dimpase @kliem @orlitzky

Component: porting

Keywords: ci, ContinuousIntegration

Author: Matthias Koeppe

Branch/Commit: 81fa6c3

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/29534