Follow-up Comment #12, sr #110065 (project administration): [comment #9 comment #9:] > What about gitlab? Thats were we have the CI infrastructure...
I'm not sure what CI infrastructure is... is it a SaaSS? _______________________________________________________ Reply to this item at: <https://savannah.nongnu.org/support/?110065> _______________________________________________ Message sent via Savannah https://savannah.nongnu.org/