Hi all, as part of updates and migrations that Tim made on the primary server, there was a question as to whether someone is using patchwork service https://patchwork.trinitydesktop.org/ ? Or can this service be droped? I remind that TDE Gitea Workspace (TGW) now serves as the best source code collaboration tool for us. See: https://mirror.git.trinitydesktop.org/gitea/ https://wiki.trinitydesktop.org/TDE_Gitea_Workspace Cheers -- Slávek