Skip to content
This repository has been archived by the owner on Feb 16, 2025. It is now read-only.

docs: prefer Terraform for infra management #574

Merged
merged 9 commits into from
Aug 12, 2022
Merged

docs: prefer Terraform for infra management #574

merged 9 commits into from
Aug 12, 2022

Conversation

ace-n
Copy link
Contributor

@ace-n ace-n commented Jul 14, 2022

Part of #536; related to #559

@ace-n ace-n requested a review from grayside July 14, 2022 23:36
@ace-n ace-n requested a review from a team as a code owner July 14, 2022 23:36
@github-actions github-actions bot added documentation Improvements or additions to documentation persona: maintainer [meta] Related to project maintenance. labels Jul 14, 2022
@ace-n ace-n requested a review from grayside July 20, 2022 23:32
@ace-n ace-n dismissed grayside’s stale review July 21, 2022 00:20

Comments addressed

Copy link
Contributor

@grayside grayside left a comment

Choose a reason for hiding this comment

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

Text looks good, but still pending removal of the "pet" terminology from the decision record & file.

@ace-n
Copy link
Contributor Author

ace-n commented Jul 29, 2022

@grayside done. (Removed pet from the decision record's filename.)

@ace-n ace-n requested a review from grayside July 29, 2022 20:34
@ace-n ace-n merged commit 820fb52 into main Aug 12, 2022
@ace-n ace-n deleted the infra-mgmt branch August 12, 2022 01:01
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
documentation Improvements or additions to documentation persona: maintainer [meta] Related to project maintenance.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants