Skip to content

Try to use the git global user.name for maintainer-name#968

Merged
christophebedard merged 5 commits intoros2:rollingfrom lgezelius:git-username-for-maintainer-nameFeb 11, 2025

Commits

Commits on Feb 11, 2025