Skip to content

Conversation

eshon
Copy link
Collaborator

@eshon eshon commented Sep 24, 2024

In lieu of #2319 for now

Someone really needs to fix these things once per month and do a better job of keeping links updated

@eshon eshon merged commit 7999b7a into filecoin-project:main Sep 24, 2024
1 check passed
@BigLep
Copy link
Member

BigLep commented Oct 7, 2024

I think we need a mechanism here (not a best intention). Lets prevent merges with broken links from even making it in. Tracking item: #2319 (comment)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants