Skip to content

Conversation

@anoushka2000
Copy link
Contributor

Thank you for the pull request. You are awesome! 🎉

To-Do List

  • All status checks are green; if not try fixing them
  • Add peer-reviewers, if needed, to the request
  • All reviewers have approved the pull request

Once the above steps are complete, please merge the pull request.

Getting help

If you get stuck, open an issue, and we'll get it sorted out.

Once your changes are merged, they will be live on the internet in ~10 minutes

@anoushka2000 anoushka2000 requested a review from amalss18 January 14, 2026 21:04
Copy link
Contributor

@amalss18 amalss18 left a comment

Choose a reason for hiding this comment

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

LGTM! Roby should be moved to postdoc-alumni.

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.

3 participants