Closed rjyounes closed 7 years ago
Possibly useful references, again from @darrenleeweber:
For reference only, I’m not recommending anything in particular, only noting that this is a road that others have walked already and documented some helpful tips:
Completed
Currently defined in README but needs some clarification:
[PENDING #xxx APPROVAL]
. The branch used to create the PR can be checked out and used by tools to run reasoners etc. on it and also explore implications for conversions." This suggests the PR itself is merged to the remote / upstream repo, rather than creating a PR against develop and merging it directly there.