2 Commits (8cffae65a60326a26d118af815346e830e9dda78)

Author SHA1 Message Date
  zeripath 875c5e1305 Only check for conflicts/merging if the PR has not been merged in the interim (#10132) 4 years ago
  6543 36943e56d6 Add "Update Branch" button to Pull Requests (#9784) 4 years ago