Make sure various clones of our Git repository are up-to-date wrt. the rewrite
- website, Jenkins, mirror at immerda and Redmine, etc.
- check tags too
Parent Task: #6277 (closed)
Related issues
-
Blocked by #8631 (closed) - Blocks #8633 (closed)
Original created by @intrigeri on 8632 (Redmine)