Merge pull request #7 from SmartCityFlensburg/release/v0.0.1

New Release v0.0.1

Author: choffmann

.github/workflows/build-and-push-production.yml

@@ -45,17 +45,17 @@ jobs:
           draft: false
           prerelease: false
 
-      - name: Merge main into dev branch
+      - name: Merge main into develop branch
         uses: thomaseizinger/create-pull-request@1.0.0
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         with:
           head: main
-          base: dev
-          title: Merge main into dev branch
+          base: develop
+          title: Merge main into develop branch
           body: |
-            This PR merges the main branch back into dev.
-            This happens to ensure that the updates that happend on the release branch, i.e. CHANGELOG and manifest updates are also present on the dev branch.
+            This PR merges the main branch back into develop.
+            This happens to ensure that the updates that happend on the release branch, i.e. CHANGELOG and manifest updates are also present on the develop branch.
 
       - name: Checkout code
         uses: actions/checkout@v4