Skip to content

Updated docs: contributors#604

Merged
timlichtenberg merged 3 commits intomainfrom
tl/os1
Feb 2, 2026
Merged

Updated docs: contributors#604
timlichtenberg merged 3 commits intomainfrom
tl/os1

Conversation

@timlichtenberg
Copy link
Member

Description

Contributor updates:

  • Updated Harrison Nicholls' email address to h-nicholls@pm.me in docs/index.md
  • Added Oliver Shorttle with email os258@cam.ac.uk to the contributors table in docs/index.md

Checklist

  • I have followed the contributing guidelines
  • My code follows the style guidelines of this project
  • I have performed a self-review of my code
  • My changes generate no new warnings or errors
  • I have checked that the tests still pass on my computer
  • I have updated the docs, as appropriate
  • I have added tests for these changes, as appropriate
  • I have checked that all dependencies have been updated, as required

@timlichtenberg timlichtenberg requested a review from a team as a code owner February 2, 2026 21:14
@FormingWorlds FormingWorlds deleted a comment from cursor bot Feb 2, 2026
Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR updates the contributors table in the documentation by modifying an existing contributor's contact information and adding a new contributor.

Changes:

  • Updated Harrison Nicholls' email address from institutional to personal email
  • Added Oliver Shorttle as a new contributor with Cambridge email address

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

timlichtenberg and others added 2 commits February 2, 2026 22:15
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@timlichtenberg timlichtenberg merged commit 74e1124 into main Feb 2, 2026
0 of 7 checks passed
@timlichtenberg timlichtenberg deleted the tl/os1 branch February 2, 2026 21:53
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.

1 participant