extending the push command documentation
Merge branch 'master' of github.com:wf4ever/ro-manager
Merge branch 'release-0.2.8' to master
Initial checklist draft for Y2 review demo; tweak evaluator to include roterms namespace by default
Fix up workflow-experiment checklist
Merge branch 'master' into develop - changes accidently applied to wrong branch :(
Bump version to 0.2.10 to distinguish from master branch (all tests passed)