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

Update robert-chisholm.md #824

Merged
merged 5 commits into from
Dec 12, 2024
Merged

Update robert-chisholm.md #824

merged 5 commits into from
Dec 12, 2024

Conversation

Robadob
Copy link
Member

@Robadob Robadob commented Oct 8, 2024

Given i've mentioned SIG-RPC, probably best to err on the side of getting the nod from soc-rse, by which point I may have a result from SSI app.

Closes #823

@Robadob Robadob self-assigned this Oct 8, 2024
@Robadob Robadob requested a review from ptheywood October 8, 2024 06:02
Copy link
Member

@ptheywood ptheywood left a comment

Choose a reason for hiding this comment

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

Looks good.

One minor formatting suggestion, and as you've suggested might want to wait until approval before merging.

_people/robert-chisholm.md Outdated Show resolved Hide resolved
@Robadob
Copy link
Member Author

Robadob commented Oct 8, 2024

and as you've suggested might want to wait until approval before merging.

Has been some movement on that today, I nudged James Graham again and he's notified Lyndsey at soc-rse and will respond to any questions in the google doc comments today. So should be ready for review at next trustee meeting (end of the month I guess).

@Robadob Robadob marked this pull request as ready for review December 12, 2024 15:32
Robadob and others added 5 commits December 12, 2024 15:49
* Fix Job Title
* Remove references to current projects, as they had become outdated
* Mention software perf best practices advocacy.
Co-authored-by: Peter Heywood <p.heywood@sheffield.ac.uk>
@Robadob Robadob force-pushed the Robadob-people-2024-10-08 branch from c3e02a3 to 3390e2b Compare December 12, 2024 15:49
@Robadob Robadob merged commit 118aa8a into master Dec 12, 2024
2 checks passed
@Robadob Robadob deleted the Robadob-people-2024-10-08 branch December 12, 2024 15:51
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.

Update people/robertchisholm
2 participants