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

Fix docs #151

Merged
merged 4 commits into from
Sep 13, 2024
Merged

Fix docs #151

merged 4 commits into from
Sep 13, 2024

Conversation

hupling
Copy link
Contributor

@hupling hupling commented Sep 13, 2024

Description

bug fix variable

hupling and others added 3 commits September 13, 2024 07:34
Co-authored-by: Simon Hirtreiter <14137977+simonhir@users.noreply.github.com>
@hupling hupling requested a review from a team as a code owner September 13, 2024 06:09
@github-actions github-actions bot added the Component: API-Gateway Issues regarding the API Gateway label Sep 13, 2024
devtobi
devtobi previously approved these changes Sep 13, 2024
Copy link
Member

@devtobi devtobi left a comment

Choose a reason for hiding this comment

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

LGTM

@devtobi devtobi self-requested a review September 13, 2024 06:11
@hupling hupling dismissed devtobi’s stale review September 13, 2024 06:11

The merge-base changed after approval.

Copy link
Member

@devtobi devtobi left a comment

Choose a reason for hiding this comment

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

LGTM

@hupling hupling merged commit 083215c into main Sep 13, 2024
9 checks passed
@hupling hupling deleted the fix-docs branch September 13, 2024 06:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: API-Gateway Issues regarding the API Gateway
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants