Create stable-4.12 branch

gap-system · Aug 18, 2022 · 7ba252e · 7ba252e
1 parent 6d33c00
commit 7ba252e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Makefile.rules b/Makefile.rules
@@ -1296,7 +1296,7 @@ testkernel: ${KERNELTESTS}
 ########################################################################
 
 # change PKG_BRANCH to stable-X.Y in the stable branch
-PKG_BRANCH = master
+PKG_BRANCH = stable-4.12
 PKG_BOOTSTRAP_URL = https://github.com/gap-system/PackageDistro/releases/download/latest/
 PKG_MINIMAL = packages-required.tar.gz
 PKG_FULL = packages.tar.gz

diff --git a/README.md b/README.md
@@ -1,5 +1,5 @@
-[![Build Status](https://github.com/gap-system/gap/workflows/CI/badge.svg?branch=master)](https://github.com/gap-system/gap/actions?query=workflow%3ACI+branch%3Amaster)
-[![Code Coverage](https://codecov.io/gh/gap-system/gap/branch/master/graphs/badge.svg)](https://codecov.io/gh/gap-system/gap/branch/master)
+[![Build Status](https://github.com/gap-system/gap/workflows/CI/badge.svg?branch=stable-4.12)](https://github.com/gap-system/gap/actions?query=workflow%3ACI+branch%3Astable-4.12)
+[![Code Coverage](https://codecov.io/gh/gap-system/gap/branch/stable-4.12/graphs/badge.svg)](https://codecov.io/gh/gap-system/gap/branch/stable-4.12)
 
 # What is GAP?