[13.0][MIG] document_page_health_safety_manual & mgmtsystem_health_safety

[flachica]

@NachoAles @guadaltech @max3903 Thanks for the reviews

[max3903]

@flachica Please separate the branch to have one module per pull request.

If you need a consolidated branch for your project, I suggest you look at git-aggregator: https://pypi.org/project/git-aggregator/

[flachica]

@flachica Please separate the branch to have one module per pull request.

If you need a consolidated branch for your project, I suggest you look at git-aggregator: https://pypi.org/project/git-aggregator/

If I make a PR with mgmtsystem_health_safety migration, will fail. mgmtsystem_health_safety depend document_page_health_safety_manual. What is the advantage of doing the PR separately? I execute git format-patch --keep-subject --stdout origin/13.0..origin/12.0 -- $MODULE | git am -3 --keep before complete migration.

[max3903]

@flachica It is easier to review one single module at a time, so your pull request will be merged quicker.