githaven/options
David Svantesson 25531c71a7 Mark PR reviews as stale at push and allow to dismiss stale approvals (#9532)
Fix #5997.

If a push causes the patch/diff of a PR towards target branch to change, all existing reviews for the PR will be set and shown as stale.
New branch protection option to dismiss stale approvals are added.
To show that a review is not based on the latest PR changes, an hourglass is shown
2020-01-09 01:47:45 +00:00
..
gitignore Delete conflicting file (#9526) 2019-12-28 10:43:03 +00:00
label Add label descriptions (#3662) 2018-03-13 10:03:55 +08:00
license chore: update license list (#9436) 2019-12-20 08:17:25 +08:00
locale Mark PR reviews as stale at push and allow to dismiss stale approvals (#9532) 2020-01-09 01:47:45 +00:00
readme Bindata is optional and over-writable on restart (#354) 2016-12-22 19:12:23 +01:00