repo sync #12984
Merged
repo sync #12984
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
* Make a dedicated, fast, workflow just for docs-internal only Part of #1297 * make staging-build-pr only for github/docs * prune later * make it louder and clearer about disabling workflows * does it merge? * typo * rename ref * rename * early access should be good to go * far from perfect * start with that * gzip * rearrange * html_url * correction of actions/checkout sha * correction of actions/setup-node sha * quote * ooops * actually deploy * move @octokit/rest to dependencies * await-sleep hack * reinstall npm * typo * CONTEXT_NAME * deployments:write permission * pull-requests:read permission * actions:read and statuses:write permissions * private repo mention exception * it's called github.run_id * Apply suggestions from code review Co-authored-by: James M. Greene <[email protected]> * make CONTEXT_NAME optional (if it works) * comment out CONTEXT_NAME * simplifying * going to run on on.pull_request instead * remove comment * only the 2-phase staging deploy on github/docs * better if statement on label check * refactor of staging-deploy script * switch to npm install to get the deDependencies back * using --only=dev * updating comments * event_name * not on pushes to main * add staging-commit-status-success * testing testing * fix linting error * Remove other docs-internal references from staging-deploy-pr.yml * Cleaning up new staging-commit-status-success script and usage * Remove unnecessary environment refs * Remove unnecessary fallback Since the only event trigger is pull_request now instead of also push * Remove unnecessary env vars from workflow * docs-internal or docs but not both * Don't provide unnecessary environment refs * remove now moot exception * setting it to pull_request_target Co-authored-by: James M. Greene <[email protected]>
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This is an automated pull request to sync changes between the public and private repos.
🤖 This pull request should be merged (not squashed) to preserve continuity across repos, so please let a bot do the merging!