Previous incidents

Resolved issue which meant a small proportion of pull requests could not be re-approved once already approved. To be affected the pull requests had to match all four of the below conditions:

1. PR created before 1am GMT+1 4th October
2. PR approved
3. Another commit pushed after 5pm GMT+1 3rd October but before 1am GMT+1 4th October and after the initial approval
4. That additional commit had to trigger a test run which has diffs

Any pull requests which were affected can now be approved.

Button to approve differences for PRs now fixed. All issues resolved.