Maybe this would be a good candidate for GitHub, because it's not very active, and will be one less project to migrate. However, since you already have a merge request up, take your pick :)
Maybe this would be a good candidate for GitHub, because it's not very active, and will be one less project to migrate. However, since you already have a merge request up, take your pick :)