e429d69ca8652f29415450704edf94361eb75a7f		branch 'editor42' of ssh://git.local:3022/org-P/P-EDITOR42_dist
bce0da93e71ee38b4658e071460f8db254dda8f2	not-for-merge	branch 'main' of ssh://git.local:3022/org-P/P-EDITOR42_dist
bce0da93e71ee38b4658e071460f8db254dda8f2	not-for-merge	tag '42.0.0' of ssh://git.local:3022/org-P/P-EDITOR42_dist
e429d69ca8652f29415450704edf94361eb75a7f	not-for-merge	tag 'editor42-42.0.0' of ssh://git.local:3022/org-P/P-EDITOR42_dist
