Handle ign- prefix in release.py calls - Githubissues

gazebo-tooling / release-tools

8 stars 9 forks source link

Handle ign- prefix in release.py calls #1105

Closed j-rivero closed 5 months ago

j-rivero commented 5 months ago

Fix #1102

j-rivero commented 5 months ago

Need to merge to unblock #1107