-
Notifications
You must be signed in to change notification settings - Fork 443
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
chore: Update Digital Team Files #2203
chore: Update Digital Team Files #2203
Conversation
@hashicorp/web-platform are these generated PRs expected to be reviewed manually or can they just be merged if CI passes? If yes, we could check whether we want introduce some |
@ansgarm I think we still want to manually approve these, at least for the near future. And sometimes we push additional commits to these PRs |
@thiskevinwang Alright! Thanks for clarifying 👍 |
👋 @hashicorp/cdktf, requesting a merge on this if it looks good! |
I'm going to lock this pull request because it has been closed for 30 days. This helps our maintainers find and focus on the active issues. If you've found a problem that seems related to this change, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further. |
Description
Updates managed website-related files.
website/Makefile
website/scripts/should-build.sh
website/scripts/website-build.sh
website/scripts/website-start.sh