Hi Holger, It's been a while, but I discovered a workflow that does not contain the same properties as the production copy. I checked the differences between the two in the comparison report and checked the change history, but I couldn't find any changes (deletions) made to those properties in the workflow. How can I solve this e.g. can I somehow manually 'pull' the missing properties from the production copy similar to how git works? I'm using TopBraid EDG 6.2.
Stefan Op donderdag 5 maart 2020 09:47:06 UTC+1 schreef Holger Knublauch: > > Hi Stefan, > > workflows are designed so that changes made to master will automatically > apply to working copies too. A working copy is simply master plus the delta > from the local changes. Do you have changes to master that you cannot see > in a workflow? > > Holger > > > On 5/03/2020 6:23 pm, Stefan Verweij wrote: > > Hi TopBraid crew, > > Using Topbraid EDG version 6.2, I am just starting to use workflows to > keep track of changes made by me or others. In my ontology every usergroup > has his own workflow. Now when one of the workflow copies is merged with > the production copy or the production copy is changed in general, the other > workflow copies will become outdated. Is there a way to update the > remaining workflow copies (similar to how you can merge/rebase branches in > git)? Hope you can help me out. > > Kind regards, > Stefan > > -- > You received this message because you are subscribed to the Google Groups > "TopBraid Suite Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to topbrai...@googlegroups.com <javascript:>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/topbraid-users/00e637bd-c486-48a7-b32a-43c8229b88bf%40googlegroups.com > > <https://groups.google.com/d/msgid/topbraid-users/00e637bd-c486-48a7-b32a-43c8229b88bf%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > -- You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to topbraid-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/a0a2921d-b90e-42e8-a083-22dc32121fd3%40googlegroups.com.
