Add metrics-lib's master branch to GitLab's CI

Trac:
Parent Ticket: #31398 (moved)

added component::metrics owner::metrics-team parent::31398 priority::medium resolution::fixed severity::normal status::closed type::enhancement labels

Please review https://dip.torproject.org/irl/metrics-lib/commit/4d8a8ea711828325371b9ec351021b7739ea06ac

Trac:
Status: new to needs_review
Type: defect to enhancement

Looks good to me. I can't test it, but what I read seems plausible.

Do you want me to merge this now?

Can you change repository settings from internal to public, so that I can add it as remote repository without authenticating?

Done, I don't know why they all ended up different. GitLab does strange things.

Merged! Looks like it worked. Closing.

Trac:
Resolution: N/A to fixed
Status: needs_review to closed

closed

mentioned in issue #31398 (moved)