1d4724e8b7ac062a3286ea330c63a93da76e6ada		branch 'editor42' of ssh://git.local:3022/org-P/P-EDITOR42_dist
763e45398b83f3f61d460a29506ccc60ef0ba16e	not-for-merge	branch 'main' of ssh://git.local:3022/org-P/P-EDITOR42_dist
763e45398b83f3f61d460a29506ccc60ef0ba16e	not-for-merge	tag '42.0.0' of ssh://git.local:3022/org-P/P-EDITOR42_dist
1d4724e8b7ac062a3286ea330c63a93da76e6ada	not-for-merge	tag 'editor42-42.0.0' of ssh://git.local:3022/org-P/P-EDITOR42_dist
