Restore github.dev editor link in release-notes check comment#19898

T-Gro merged 2 commits into

maindotnet/fsharp:mainfrom

releasenotes/put-editor-link-backdotnet/fsharp:releasenotes/put-editor-link-backCopy head branch name to clipboard