This patch fixes a corner-case which was causing a PR comment updating task to consistently fail. It looks like the problem was a PR that contained only comments from AmplabJenkins which weren't categorized by our regexes could lead to pr.last_jenkins_comment being None even though the PR contained AmplabJenkins comments. The simple fix here is to just skip deletion of AmplabJenkins comments when we encounter this rare scenario.
This patch fixes a corner-case which was causing a PR comment updating task to consistently fail. It looks like the problem was a PR that contained only comments from AmplabJenkins which weren't categorized by our regexes could lead to
pr.last_jenkins_comment
beingNone
even though the PR contained AmplabJenkins comments. The simple fix here is to just skip deletion of AmplabJenkins comments when we encounter this rare scenario.