Merge pull request 'dev' (#12) from dev into main

Reviewed-on: #12

.github/workflows/Build.yml

@@ -36,7 +36,7 @@ jobs:
           git config --global user.email 'noreply@kozelkaricsi.hu'
           git fetch origin
           git checkout ${SOURCE_BRANCH_NAME}
-          BRANCH_NAME="${SOURCE_BRANCH_NAME}-build"
+          BRANCH_NAME="${SOURCE_BRANCH_NAME}-autobuild"
           git fetch origin $BRANCH_NAME --unshallow || true  # Allow failure if branch doesn't exist
           git switch $BRANCH_NAME || git switch -c $BRANCH_NAME
           git merge ${SOURCE_BRANCH_NAME} -m "Update branch [skip ci]"