Merge pull request #35 from hankei6km/topic/docs-label

ci: Add "sem-pr: docs" label to automatically created PRs

.github/workflows/release.yaml

@@ -43,5 +43,5 @@ jobs:
           # Push
           if [ "$NO_UPDATES" != "true" ] ; then
               git push origin "$branch"
-              gh pr create --title "docs: $message" --body "$message"
+              gh pr create --title "docs: $message" --body "$message" --label  "sem-pr: docs" 
           fi