Simon de Vlieger ace6c3524b ci: push tags to gitlab ... Tags are missing from GitLab (I pushed them once manually) while they should really be there to be a full mirror.		2022-06-30 10:50:10 +02:00
..
workflows	ci: push tags to gitlab	2022-06-30 10:50:10 +02:00
codecov.yml	ci: send coverage data to codecov	2020-12-10 16:14:37 +01:00
mergify.yml	[skip ci] ci: switch to using automerge	2021-12-08 14:13:43 +01:00