Notification on new commit for PRs

[bendem]

• Gitea version (or commit ref): 1.12.1
• Git version: N/A
• Operating system: N/A
• Database (use [x]):
  • PostgreSQL
  • MySQL
  • MSSQL
  • SQLite
• Can you reproduce the bug at https://try.gitea.io:
  • Yes (provide example URL)
  • No
  • Not relevant
• Log gist: N/A

Description

There is currently no notification nor visual indicator that tells a reviewer when a PR author has pushed new changes to a branch. This causes PRs to sit, reviewers unaware that they are blocking changes.

Screenshots

Changes happened 6 days ago, got a review, author pushed changes 4 and 3 days ago, had to ask for a review because no notification or visual indicator told me to review again:

Compare this with github where it's clear there were new commits added:

[bendem]

Actually, this is a duplicate of #8365 that I didn't find at first. Closing this to keep the discussion centralised.