Committing to a team-maintained package repository

[Paride Legovini <pl@ninthfloor.org>]

Hi,

I'd like to fix #890571, and I think I know how [0]. This means
committing to:

https://salsa.debian.org/science-team/libmseed

and doing a (sponsored) team upload. As a group member ("Developer"
gitlab role), I have write access to the repository [1], but I am not
used to pushing commits for packages I do not (co)maintain. Should I
just proceed, or is some preliminary coordination normally expected?

Cc: Pierre Duperray (libmseed maintainer).

Cheers,

Paride

[0] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=890571#12
[1] https://science-team.pages.debian.net/policy/#idm145