Merge pull request '....' (#68) from develop-4 into master

Reviewed-on: #68

.gitea/workflows/build-develop-branch.yml

@@ -17,7 +17,7 @@ jobs:
           action: xml
           path: '.'
       - name: get PR number
-        run |
+        run: |
           echo ::set-env name=PR||${./tea pr ls -f=base,head,index | grep "| master | firstString=${{ github.ref_name }} |" | tr -d ' ' | tr "|" "\n" | head -n 4 | tail -1}
       - name: get build branch name
         run: |

README.md

@@ -19,7 +19,7 @@ push deployed
 
 
 
-pull to production PC and import.
+pull to production PC and import
 
 pull to development, import, modify, export
 push from development to format branch