Closed jorisroovers closed 1 year ago
Adds git user.name and user.email config required for mike to push to the gh-pages branch.
coverage: 99.661%. remained the same when pulling fcf96ee36cf49947caf0e6a3da88981a692d20d4 on cipublish-docs-fix into 806c1b71122575f89215aef7b9f394a9076f76e8 on main.
Adds git user.name and user.email config required for mike to push to the gh-pages branch.