Move repo management from the build system

Description

Repository management is used only for distribution. Make it as an external tool.

Checklist

hide

Activity

Show:
Done

Details

Assignee

Fix versions

Reporter

Components

Time tracking

1d logged

Priority

Created December 21, 2022 at 1:25 PM
Updated December 24, 2022 at 7:24 PM
Resolved December 24, 2022 at 7:23 PM