Recent release got blocked because the release notes could not generated. We should make this a non-fatal error for the release flow.
The cause was a missing PR - which github has apparently scrubbed from its servers. The merge commit exists; the PR does not - this caused the release notes tool to choke.
We should fix both of these.
Recent release got blocked because the release notes could not generated. We should make this a non-fatal error for the release flow.
The cause was a missing PR - which github has apparently scrubbed from its servers. The merge commit exists; the PR does not - this caused the release notes tool to choke.
We should fix both of these.