git: Ignore coverage-*/
git: Ignore coverage-*/

So we can easily rename and keep coverage dirs locally when needed.

cozy-labs/cozy-desktop,nono/cozy-desktop,nono/cozy-desktop,nono/cozy-desktop,cozy-labs/cozy-desktop,cozy-labs/cozy-desktop,nono/cozy-desktop,cozy-labs/cozy-desktop