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

Docs updates #118

Merged
merged 6 commits into from
Sep 21, 2021
Merged

Docs updates #118

merged 6 commits into from
Sep 21, 2021

Conversation

thekaveman
Copy link
Member

@thekaveman thekaveman commented Sep 20, 2021

Closes #117. Plus some other small cleanups and a new page describing the GitHub Actions deployment workflows in more detail.

@thekaveman thekaveman added the documentation [auto] Improvements or additions to documentation label Sep 20, 2021
@thekaveman thekaveman added this to the September 2021 milestone Sep 20, 2021
@thekaveman
Copy link
Member Author

Thanks for the review @machikoyasuda! I'm going to wait to merge this until #114 is merged so we can test out that filter!

Copy link
Member

@machikoyasuda machikoyasuda left a comment

Choose a reason for hiding this comment

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

Very thorough!

@machikoyasuda
Copy link
Member

#114 is now merged to dev. #118 is ready to roll!

@thekaveman
Copy link
Member Author

I'll actually wait for #115 as well, so we can test both filters 😄

@machikoyasuda
Copy link
Member

machikoyasuda commented Sep 21, 2021

@thekaveman Update: Merged #115 - As expected, the Docs deploy action is not running. Now this PR is ready to roll! We should expect the Docs deploy to run, but the Dev deploy should not run.

image

Update, 2: Merging the Dev deploy PR successfully did not trigger the Docs PR!

image

@thekaveman
Copy link
Member Author

thekaveman commented Sep 21, 2021

@machiko awesome! I'm merging this one now...

EDIT: success!! The dev deploy did not run, as expected!

image

@thekaveman thekaveman merged commit b057fea into dev Sep 21, 2021
@thekaveman thekaveman deleted the docs-updates branch September 21, 2021 23:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation [auto] Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update docs re: production branch name
2 participants