Skip to content
GitLab
Explore
Sign in
Register
freedesktop.org
mr-label-maker
Merge requests
!34
Rename the script and project to mr-label-maker
Code
Review changes
Check out branch
Download
Patches
Plain diff
Peter Hutterer
requested to merge
whot/mr-label-maker:wip/cli-rename
into
main
Mar 21, 2024
Overview
3
Commits
1
Pipelines
8
Changes
4
Expand
Underscores in binary and project names are yucky :)
Merge request reports