How useful is it for other devs to have a clickable URL for this merge that can be added as link on github issues & PRs?