reorganise docs common links + add core devs #3972
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
🚀 Pull Request
Description
This PR adds the
@githubname of theiriscore developers (in alphabetical order) to the documentation common links.It also organises the existing common resource links (in alphabetical order) as a separate category (and removing a duplicate in the process).
I attempted to use the
rstonlydirective (see #3971) as a comment heading for each category, but his caused the following warning:checking consistency... /net/home/h05/itwl/projects/git/iris/docs/iris/src/techpapers/change_management.rst: WARNING: document isn't included in any toctreewhich causes the CI docs build to fail. Never mind.
After this PR is merged (and #3971), we can rationalise the
whatsnewto remove core developer links.Consult Iris pull request check list