thinking about how to version control and approve batch configuration
Go to file
giles 3fcbb01071 Merge pull request 'product-development' (#48) from product-development into master
Reviewed-on: #48
2023-10-18 22:03:06 +00:00
instructions Merge pull request 'product-development' (#48) from product-development into master 2023-10-18 22:03:06 +00:00
.drone.yml . 2023-10-18 22:51:23 +01:00
.gitignore a new model.. 2023-10-17 20:47:13 +01:00
BatchSvr.ini initial set up of the batch system 2023-10-17 09:31:49 +00:00
README.md 1 2023-10-18 22:19:34 +01:00
batcharc.ini initial set up of the batch system 2023-10-17 09:31:49 +00:00
equipment-model.axml Merge pull request 'product-development' (#48) from product-development into master 2023-10-18 22:03:06 +00:00

README.md

batch-example

This repository will store and allow versioning and approval of a batch configuration.

This repository only contains exported configuration. It does not contain any binary files (eg equipment-model.cfg nor system state or log files). These are excluded using the .gitignore file.

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

On ?tag ? push to master clone master branch deployed yml -> xml push deployed

pull to production PC and import.

pull to development, import, modify, export push from development to format branch

on format-branch pull, xml -> yml, push to product-development and PR

FTBatch development pc on development branch

?git branch -D format-branch
git checkout format-branch
git merge deployed

make changes and export files

commit and push back to server

git add -A
git commit
git push origin format-branch

format-bot pc

git branch -D format-branch
git fetch origin
git checkout -b format-branch
git checkout master
git pull
git branch -D product-development
git checkout -b product-development
git merge --squash --no-commit --no-ff --strategyoption=theirs format-branch

run the formatter

git add -A
git commit
git push origin product-development
git push origin --delete format-branch

create a pull request

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)

gotea pr close --repo another-user/batch-example 11

build


git checkout master
git pull
git checkout deployed
git merge master

make xml files

git add -A
git commit
git push origin deployed