Tags give the ability to mark specific points in history as being important
2025-12-17: Due to updates GitLab may be unavailable for some minutes between 13:00 and 16:00.
Releasing version 2.0 Peregrine 2.0 contains the following new features: - Universal leader support - A new verification backend based on stage graphs