Skip to content

Conversation

@minrk
Copy link
Collaborator

@minrk minrk commented Apr 14, 2025

closes #121

changelog
```

(how-does-this-tool-define-contributions-in-the-reports)=
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

keeps the old link resolving no matter what the title of the section is

@consideRatio consideRatio added the documentation Improvements or additions to documentation label Apr 14, 2025
@consideRatio consideRatio merged commit a9d85f4 into executablebooks:main Apr 14, 2025
4 checks passed
@minrk minrk deleted the doc-link branch April 14, 2025 19:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

"how we define contributors" link in output no longer resolves

2 participants