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

doc: add chat context documentation #719

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Conversation

planger
Copy link
Contributor

@planger planger commented Feb 21, 2025

No description provided.

@planger planger temporarily deployed to pull-request-preview February 21, 2025 16:33 — with GitHub Actions Inactive
Copy link

github-actions bot commented Feb 21, 2025

PR Preview Action v1.4.7
🚀 Deployed preview to https://eclipse-theia.github.io/theia-website-previews/pr-previews/pr-719/
on branch previews at 2025-02-28 20:46 UTC

@planger planger marked this pull request as ready for review February 21, 2025 16:40
@planger planger requested a review from JonasHelming February 21, 2025 16:40
@planger planger temporarily deployed to pull-request-preview February 21, 2025 16:41 — with GitHub Actions Inactive
Copy link
Contributor

@JonasHelming JonasHelming left a comment

Choose a reason for hiding this comment

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

very nice, I have a few remarks. This should be merged after the (platform) release is out

@planger planger requested a review from JonasHelming February 27, 2025 11:47
@planger
Copy link
Contributor Author

planger commented Feb 27, 2025

@JonasHelming Thank you for your review! I think I addressed all your comments.

@planger planger temporarily deployed to pull-request-preview February 27, 2025 11:49 — with GitHub Actions Inactive
Copy link
Contributor

@JonasHelming JonasHelming left a comment

Choose a reason for hiding this comment

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

Really great documentation, thank you! Just found one left over character.

Co-authored-by: Jonas Helming <[email protected]>
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