Merge to master right away, but add a delete service cli command
delete/undo of files mentioned above is risky / needs some thought
How to deal with conflicting files?
Conflicts:
- Port (Services Registry)
- ServiceManagerUi
Maybe conflicts:
- Iocs Overview
- Master HLA names
- Master subs
Potential solutions:
- Merge to master right away, but add a delete service cli command
- delete/undo of files mentioned above is risky / needs some thought
labrec_b
added this to the Add new service milestone 2026-07-29 11:25:22 +02:00
labrec_b
added this to the Benjamin Labrecque project 2026-07-29 13:37:24 +02:00
nr. of active services determined dynamically by git runner
i.e., summary files (e.g., Iocs Overview, Master HLA names, Master subs) should always be update by git runner depending on current state of all services
- fix port number right away on master
- no delete feature, i.e., ports blocked for ever
- nr. of active services determined dynamically by git runner
- i.e., summary files (e.g., Iocs Overview, Master HLA names, Master subs) should always be update by git runner depending on current state of all services
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
How to deal with conflicting files?
Conflicts:
Maybe conflicts:
Potential solutions: