Select Git revision
devel
devel-policies
devel-ruff
devel-work1
master
release-0.1
release-0.2
release-1.0
release-1.1
release-1.2
release-1.3