You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Assign commits to issues/PRs, and include correct links to them. Right now GitHub assumes PRs/issues in subrepos are in the main repo, leading to it generating bad links. (fixed in docs: added new script to build changelog #381)
Make the changelog page in the docs include a md file with the actual changelog, so we don't need to maintain it in two markup languages. Will have to go with future improvements.
Just a few things I thought about which would improve the changelog and its generation.
Make the changelog page in the docs include a md file with the actual changelog, so we don't need to maintain it in two markup languages.Will have to go with future improvements.