Provide better github.dev links for updating release notes about fsharp HOT 5 CLOSED

Hi, I've noticed that it's possible to create a link to a specific file in a PR, like this. Would it be possible to update the CI step, so links in the comments would open files needing updates?

Thank you :)

It doesn't work in GitHub.dev, that's the first thing I've tried when I made the check (this is what opens when I click the link):

from fsharp.

It doesn't work in GitHub.dev, that's the first thing I've tried when I made the check (this is what opens when I click the link)

Hm, this is strange. I get the needed tab open when I open the link:

from fsharp.

It keeps tabs from previous time you've opened github.dev, this is if you closed all editors, it only opens one:

from fsharp.

Ah, what a shame 🙁

from fsharp.

Ah, what a shame 🙁

Yeah, I tried to reverse-engineer the way how it works (if any), and didn't succeed.

from fsharp.