Hey @Frank - Just thinking ahead to being able to more easily correlate deploys in Seed with PR names in Github. Definitely not a huge issue since there likely won’t be many PRs at a time, at least in my case.
It looks like the pr# is repeated in the stage and branch titles on the deployment ‘card’ in Seed. Is this always the case? If so, adding a preview of the PR title in the latter spot, would be helpful.