GitHub some times populates PR json data with unexpected 'None's in certain places. I'm not sure what the root cause is, I suspect it's related to creating a PR with a very large description. We should at least handle 'None' in more places in json data coming from GitHub.
<rdar://problem/100778857>
Pull request: https://github.com/WebKit/WebKit/pull/4996
Committed 255549@main (9dd26e36dd84): <https://commits.webkit.org/255549@main> Reviewed commits have been landed. Closing PR #4996 and removing active labels.
Committed 252432.592@safari-7614-branch (d068f8be2383): <https://commits.webkit.org/252432.592@safari-7614-branch> Reviewed commits have been landed. Closing PR #143 and removing active labels.