···17131714 // deleted pulls are marked as deleted in the DB
1715 for _, p := range deletions {
000001716 err := db.DeletePull(tx, p.RepoAt, p.PullId)
1717 if err != nil {
1718 log.Println("failed to delete pull", err, p.PullId)
···1752 for id := range updated {
1753 op, _ := origById[id]
1754 np, _ := newById[id]
0000017551756 submission := np.Submissions[np.LastRoundNumber()]
1757
···17131714 // 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)
···1757 for id := range updated {
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+ }
17651766 submission := np.Submissions[np.LastRoundNumber()]
1767