Update PR numbers with correct links

purescript / documentation

Documentation for the PureScript language, compiler, and tools.

Other

1.02k stars 301 forks source link

Update PR numbers with correct links #431

Closed JordanMartinez closed 2 years ago

JordanMartinez commented 2 years ago

On Discord, someone pointed out that GitHub renders the PR numbers in the Ecosystem Guide as PRs for this repo, even if those PRs don't exist, rather than the PRs for their corresponding repo.

This PR fixes that by using correct links, such that clicking on a PR will refer back to that repo's corresponding PR.

:ping_pong: @thomashoneyman

thomashoneyman commented 2 years ago

As a side note, this issue also affects a few pull requests referenced in the main migration guide.