Closed aureleoules closed 1 year ago
Not sure if this is worth it. The live title and merge status can already be seen by hovering over the link. If the merge status is outdated, the comment needs to be edited anyway and this change doesn't seem like a strict improvement.
🐙 This pull request conflicts with the target branch and needs rebase.
Instead of providing an URL to the conflicting PR, let GitHub preview the PR description by simply providing the #number.
instead of