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.

Sign up for GitHub

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

Jump to bottom

Rename Amazon Lambda to AWS Lambda in documentation #34282

Merged
merged 1 commit into from
Jun 23, 2023
Merged

Rename Amazon Lambda to AWS Lambda in documentation #34282

merged 1 commit into from
Jun 23, 2023

Conversation

gsmet
Copy link
Member

@gsmet gsmet commented Jun 23, 2023

Fixes #34279

/cc @aloubyansky

I think we will need to rename the extensions too but probably for another day.

aloubyansky
aloubyansky approved these changes Jun 23, 2023
View reviewed changes
Copy link
Member

@aloubyansky aloubyansky left a comment

Choose a reason for hiding this comment

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

Thanks @gsmet! I kept forgetting to actually do this.

@gsmet
Copy link
Member Author

gsmet commented Jun 23, 2023

There is a companion PR here: quarkusio/quarkusio.github.io#1732

@github-actions
Copy link

github-actions bot commented Jun 23, 2023 •
edited
Loading

🙈 The PR is closed and the preview is expired.

@gastaldi gastaldi merged commit b653d80 into quarkusio:main Jun 23, 2023
@quarkus-bot quarkus-bot bot added this to the 3.3 - main milestone Jun 23, 2023
@mrizzi mrizzi mentioned this pull request Aug 24, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@aloubyansky aloubyansky aloubyansky approved these changes

Assignees
No one assigned
Labels
area/documentation
Projects
None yet
Milestone
3.3.0.CR1
Development

Successfully merging this pull request may close these issues.

Rename Amazon Lambda to AWS Lambda in documentation
3 participants
@gsmet @aloubyansky @gastaldi