Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename References to Useful Resources #54

Merged
merged 1 commit into from
Feb 28, 2024
Merged

Conversation

robmoss
Copy link
Owner

@robmoss robmoss commented Aug 23, 2023

I've reorganised the sub-headings and content, and added resources from our most recent CoP meeting (2023-08-15).

If this list becomes much larger, we may need to split it out into separate pages. But I think it's okay a single page for now.

@github-actions
Copy link

github-actions bot commented Aug 23, 2023

PR Preview Action v1.4.7
Preview removed because the pull request was closed.
2024-02-28 09:32 UTC

@robmoss
Copy link
Owner Author

robmoss commented Aug 23, 2023

That's what I get for not checking the build output on my laptop: the original commit left a broken link to the old page in the Collaborating section. Thank you CI for catching the error and letting me know.

@EamonConway
Copy link
Collaborator

This works locally on my machine and I cannot find any broken links to the references page.

I've reorganised the sub-headings and content, and added resources from
one of our CoP meetings (2023-08-15).
@robmoss robmoss merged commit 28fe595 into master Feb 28, 2024
2 checks passed
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