Comment by elmigranto

Purple tick box is how GitHub formats links to merged PRs and closed issues.