Skip to content
Snippets Groups Projects
Commit 7228e05a authored by Florian Spreckelsen's avatar Florian Spreckelsen
Browse files

Merge branch 'main' into dev

parents 727277d8 e12053cb
No related branches found
No related tags found
No related merge requests found
Pipeline #8107 passed
...@@ -18,10 +18,10 @@ guidelines of the CaosDB Project ...@@ -18,10 +18,10 @@ guidelines of the CaosDB Project
2. Check all general prerequisites. 2. Check all general prerequisites.
4. Merge the release branch into the master branch. 4. Merge the release branch into the main branch.
5. Tag the latest commit of the master branch with `v<VERSION>`. 5. Tag the latest commit of the main branch with `v<VERSION>`.
6. Delete the release branch. 6. Delete the release branch.
7. Merge the master branch back into the dev branch. 7. Merge the main branch back into the dev branch.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment