Merge pull request 'read me' (#15) from product-development into master

Reviewed-on: #15
This commit is contained in:
giles 2023-10-17 19:33:56 +00:00
commit 029bd7290c
1 changed files with 41 additions and 0 deletions

View File

@ -6,6 +6,17 @@ This repository **only** contains exported configuration. It does not contain a
## change process
tea is here (i had to change docker file to just be based on node:latest)
https://gitea.com/gitea/tea/src/branch/main/docs/CLI.md
get tea for ubuntu
```sh
sudo apt-get update -y
sudo apt-get install -y tea
```
### FTBatch development pc on development branch
```sh
@ -48,3 +59,33 @@ git push origin --delete format-branch
```
create a pull request
```sh
git fetch --tags
gotea pr c --base=master --head=product-development --repo another-user/batch-example --title="WIP: this is a PR! it rocks!"
```
closing a pull request (not used)
```sh
gotea pr close --repo another-user/batch-example 11
```
build
```sh
git checkout master
git pull
git checkout deployed
git merge master
```
make xml files
```sh
git add -A
git commit
git push origin deployed
```