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

[PRS] add session description #23

Merged
merged 3 commits into from
Nov 7, 2024
Merged

[PRS] add session description #23

merged 3 commits into from
Nov 7, 2024

Conversation

ehumph
Copy link
Contributor

@ehumph ehumph commented Nov 1, 2024

This PR adds the lead-provided description of the goals for the PRS cofest session.

Copy link
Contributor

github-actions bot commented Nov 1, 2024

No spelling errors! 🎉
Comment updated at 2024-11-06-16:13:06 with changes from 0f7f22e

Copy link
Contributor

github-actions bot commented Nov 1, 2024

No broken url errors! 🎉
Comment updated at 2024-11-06-16:13:06 with changes from 0f7f22e

Copy link
Contributor

github-actions bot commented Nov 1, 2024

Re-rendered previews from the latest commit:

* note not all html features will be properly displayed in the "quick preview" but it will give you a rough idea.

Updated at 2024-11-06 with changes from the latest commit 0f7f22e

@ehumph ehumph merged commit c2db57a into main Nov 7, 2024
8 checks passed
@ehumph ehumph deleted the update-prs-with-description branch November 7, 2024 13:21
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