•  
      request #30743 Merge external plugin repositories into the main repository
    Infos
    #30743
    Thomas Gerbet (tgerbet)
    2023-02-14 16:27
    2023-02-03 11:08
    32348
    Details
    Merge external plugin repositories into the main repository

    See gerrit #27798 for the discussions.

    Other
    Empty
    Empty
    • [ ] enhancement
    • [ ] internal improvement
    Empty
    Stage
    Thomas Gerbet (tgerbet)
    Closed
    2023-02-07
    Attachments
    Empty
    References
    Referencing request #30743

    Follow-ups

    User avatar
    Thomas Gerbet (tgerbet)2023-02-07 16:03

    Closing this, taking advantages of this new organization can be done in dedicated requests.


    • Status changed from Under implementation to Closed
    • Connected artifacts
    • Close date set to 2023-02-07