Signed-off-by: oppiliappan me@oppi.li
+10
appview/pulls/pulls.go
+10
appview/pulls/pulls.go
···
1713
1714
// deleted pulls are marked as deleted in the DB
1715
for _, p := range deletions {
1716
err := db.DeletePull(tx, p.RepoAt, p.PullId)
1717
if err != nil {
1718
log.Println("failed to delete pull", err, p.PullId)
···
1753
op, _ := origById[id]
1754
np, _ := newById[id]
1755
1756
submission := np.Submissions[np.LastRoundNumber()]
1757
1758
// resubmit the old pull
···
1713
1714
// deleted pulls are marked as deleted in the DB
1715
for _, p := range deletions {
1716
+
// do not do delete already merged PRs
1717
+
if p.State == db.PullMerged {
1718
+
continue
1719
+
}
1720
+
1721
err := db.DeletePull(tx, p.RepoAt, p.PullId)
1722
if err != nil {
1723
log.Println("failed to delete pull", err, p.PullId)
···
1758
op, _ := origById[id]
1759
np, _ := newById[id]
1760
1761
+
// do not update already merged PRs
1762
+
if op.State == db.PullMerged {
1763
+
continue
1764
+
}
1765
+
1766
submission := np.Submissions[np.LastRoundNumber()]
1767
1768
// resubmit the old pull