Skip to content

Update User Guide - User Session plugin #11115

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

Merged
merged 3 commits into from
Jun 3, 2025
Merged

Update User Guide - User Session plugin #11115

merged 3 commits into from
Jun 3, 2025

Conversation

ElenaGallo
Copy link
Contributor

@ElenaGallo ElenaGallo commented May 20, 2025

Description

Add new User Session section

Please check if the PR fulfills these requirements

What kind of change does this PR introduce? (check one with "x", remove the others)

  • Bugfix
  • Feature
  • Code style update (formatting, local variables)
  • Refactoring (no functional changes, no api changes)
  • Build related changes
  • CI related changes
  • Other... Please describe:

Issue

What is the current behavior?

#

What is the new behavior?

Breaking change

Does this PR introduce a breaking change? (check one with "x", remove the other)

  • Yes, and I documented them in migration notes
  • No

Other useful information

@ElenaGallo ElenaGallo added this to the 2025.01.00 milestone May 20, 2025
@ElenaGallo ElenaGallo self-assigned this May 20, 2025
@ElenaGallo ElenaGallo linked an issue May 20, 2025 that may be closed by this pull request
2 tasks
@ElenaGallo ElenaGallo requested a review from tdipisa May 20, 2025 13:31
@tdipisa tdipisa enabled auto-merge (squash) June 3, 2025 16:05
@tdipisa
Copy link
Member

tdipisa commented Jun 3, 2025

@ElenaGallo please check and backport once merged.

@tdipisa tdipisa merged commit c6352e2 into master Jun 3, 2025
5 checks passed
ElenaGallo added a commit that referenced this pull request Jun 10, 2025
* update_10934

* Update docs/user-guide/user-session.md

* Update docs/user-guide/user-session.md

---------

Co-authored-by: Tobia Di Pisa <[email protected]>
tdipisa added a commit that referenced this pull request Jun 10, 2025
* update_10934

* Update docs/user-guide/user-session.md

* Update docs/user-guide/user-session.md

---------

Co-authored-by: Tobia Di Pisa <[email protected]>
@ElenaGallo ElenaGallo removed a link to an issue Jun 10, 2025
2 tasks
@ElenaGallo ElenaGallo linked an issue Jun 10, 2025 that may be closed by this pull request
2 tasks
@tdipisa tdipisa deleted the 10934_userguide branch June 10, 2025 15:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

User Guide - User Session plugin
2 participants