force pushing marks all PR comments as outdated

[noerw]

• Gitea version (or commit ref): 1.13.0+dev-642-gd8b5235de
• Git version: ? idk, whatever runs on gitea.com
• Operating system:
• Database (use [x]):
  • PostgreSQL
  • MySQL
  • MSSQL
  • SQLite
• Can you reproduce the bug at https://try.gitea.io:
  • Yes (provide example URL) https://gitea.com/noerw/tea/pulls/6
  • No
  • Not relevant
• Log gist:

Description

If a PR's head branch is force pushed (i.e. rebase) all inline-comments are marked as outdated, no matter if the related file/line has changed during the force push.

This can probably be fixed together with #12722.

[clovergaze]

This is a real impediment if there are many comments and I have to search through them to find a specific change request, because as soon as I post a comment or click a button the page reloads and everything is collapsed again .. 😐

[delvh]

Is this issue still present or has it been fixed already?