consul
consul copied to clipboard
changelog: fix PR links
I noticed that the PR links in our CHANGELOG.md don't seem to work anymore 🤔 I wonder if GitHub no longer supports the /issues/<id> path for Pull Requests?
@eculver I wasn't able to figure out how to regenerate the entire changelog with changelog-build (particularly as the earlier entries predate the tool) so did a find-and-replace instead.
Interestingly, there are some older links to issues rather than PRs, but the /pull/<id> URL redirects to /issues/<id> correctly.
This pull request has been automatically flagged for inactivity because it has not been acted upon in the last 60 days. It will be closed if no new activity occurs in the next 30 days. Please feel free to re-open to resurrect the change if you feel this has happened by mistake. Thank you for your contributions.
This pull request has been automatically flagged for inactivity because it has not been acted upon in the last 60 days. It will be closed if no new activity occurs in the next 30 days. Please feel free to re-open to resurrect the change if you feel this has happened by mistake. Thank you for your contributions.
Spot checked a few of the old /issues/{PR_NUMBER} links and they appear to be working now. Pull requests are just a "special" type of issue in GitHub's data model/API, could this have been a temporary problem? Suggest we close this unless some are still definitively broken.