jorisroovers / gitlint / 5209895273

100%

push

github

GHA: Fixes for publish-docs workflow (#505)

- Adds git user.name and user.email config required for mike to push to
the gh-pages branch.
- Checkout gh-pages branch
- Dynamic run name

2193 of 2211 branches covered (99.19%)

4416 of 4431 relevant lines covered (99.66%)

17.94 hits per line