Hey Terry, Not without removing it in the database, I'm afraid. That would then effect some other behavior, though, and break the change record. Best to just leave it in, maybe have the developer post a review stating that the diffs are the same and to ignore that version.
Christian On Monday, July 6, 2015, Dunnigan, Terrence J < terrence.j.dunni...@boeing.com> wrote: > Hi all, > > > > One of my developers created a peer review last week, and then uploaded a > diff and published an update to that review today. So the review has two > diffs – 1 and 2. > > > > The developer realized that he forgot to push his changes before > generating the diff, and as a result there is no difference between diff 1 > and 2. > > > > Is it possible to “delete” diff #2? To completely remove it, as if it > didn’t exist? > > > > Thanks, > > > > Terry > > -- > Supercharge your Review Board with Power Pack: > https://www.reviewboard.org/powerpack/ > Want us to host Review Board for you? Check out RBCommons: > https://rbcommons.com/ > Happy user? Let us know! https://www.reviewboard.org/users/ > --- > You received this message because you are subscribed to the Google Groups > "reviewboard" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to reviewboard+unsubscr...@googlegroups.com > <javascript:_e(%7B%7D,'cvml','reviewboard%2bunsubscr...@googlegroups.com');> > . > For more options, visit https://groups.google.com/d/optout. > -- -- Christian Hammond - christ...@beanbaginc.com Review Board - https://www.reviewboard.org Beanbag, Inc. - https://www.beanbaginc.com -- Supercharge your Review Board with Power Pack: https://www.reviewboard.org/powerpack/ Want us to host Review Board for you? Check out RBCommons: https://rbcommons.com/ Happy user? Let us know! https://www.reviewboard.org/users/ --- You received this message because you are subscribed to the Google Groups "reviewboard" group. To unsubscribe from this group and stop receiving emails from it, send an email to reviewboard+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
