appview/pulls: do not mark merged PRs as abandoned upon resubmit #497

merged
opened by oppi.li targeting master from push-nnuvlyptxsqy
Changed files
+10
appview
pulls
+10
appview/pulls/pulls.go
···
// deleted pulls are marked as deleted in the DB
for _, p := range deletions {
+
// do not do delete already merged PRs
+
if p.State == db.PullMerged {
+
continue
+
}
+
err := db.DeletePull(tx, p.RepoAt, p.PullId)
if err != nil {
log.Println("failed to delete pull", err, p.PullId)
···
op, _ := origById[id]
np, _ := newById[id]
+
// do not update already merged PRs
+
if op.State == db.PullMerged {
+
continue
+
}
+
submission := np.Submissions[np.LastRoundNumber()]
// resubmit the old pull