Fix link info values in submitted PRs

[lucperkins]

No description provided.

[netlify]

✅ Deploy Preview for detsys-ts-docs ready!

Name	Link
🔨 Latest commit	5547fc0
🔍 Latest deploy log	https://app.netlify.com/sites/detsys-ts-docs/deploys/6660de9327213b0008fda686
😎 Deploy Preview	https://deploy-preview-53--detsys-ts-docs.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site configuration.

[grahamc]

on:
  pull_request:
    types:
      - closed

we might want to make the subsequent if: have a clause that the target branch was main.

[lucperkins]

@grahamc Done