Skip to content

tools: update doc to [email protected] [email protected] - #46364

Merged
nodejs-github-bot merged 2 commits into
mainfrom
actions/tools-update-doc
Jan 30, 2023
Merged

nodejs-github-bot merged 2 commits into
mainfrom
actions/tools-update-doc

Conversation

@nodejs-github-bot

Copy link
Copy Markdown
Collaborator

This is an automated update of doc to [email protected] [email protected].

@nodejs-github-bot nodejs-github-bot added tools Issues and PRs related to the tools directory. doc Issues and PRs related to Node.js documentation. labels Jan 26, 2023
@MoLow MoLow added the fast-track PRs proposed for a shorter-than-standard waiting period before landing. label Jan 29, 2023
@github-actions

Copy link
Copy Markdown
Contributor

Fast-track has been requested by @MoLow. Please 👍 to approve.

@Trott Trott added the commit-queue PRs queued for automated landing through the Commit Queue. label Jan 30, 2023
@nodejs-github-bot nodejs-github-bot added commit-queue-failed PRs whose Commit Queue landing failed and need manual intervention before retrying. and removed commit-queue PRs queued for automated landing through the Commit Queue. labels Jan 30, 2023
@nodejs-github-bot

Copy link
Copy Markdown
Collaborator Author
Commit Queue failed
- Loading data for nodejs/node/pull/46364
✔  Done loading data for nodejs/node/pull/46364
----------------------------------- PR info ------------------------------------
Title      tools: update doc to [email protected] [email protected] (#46364)
   ⚠  Could not retrieve the email or name of the PR author's from user's GitHub profile!
Branch     nodejs-github-bot:actions/tools-update-doc -> nodejs:main
Labels     doc, tools, fast-track
Commits    2
 - tools: update doc to [email protected] [email protected]
 - tools: update doc to [email protected] [email protected]
Committers 1
 - Node.js GitHub Bot 
PR-URL: https://github.com/nodejs/node/pull/46364
Reviewed-By: Luigi Pinca 
Reviewed-By: Moshe Atlow 
Reviewed-By: Rich Trott 
------------------------------ Generated metadata ------------------------------
PR-URL: https://github.com/nodejs/node/pull/46364
Reviewed-By: Luigi Pinca 
Reviewed-By: Moshe Atlow 
Reviewed-By: Rich Trott 
--------------------------------------------------------------------------------
   ℹ  This PR was created on Thu, 26 Jan 2023 10:38:53 GMT
   ✔  Approvals: 3
   ✔  - Luigi Pinca (@lpinca): https://github.com/nodejs/node/pull/46364#pullrequestreview-1273978971
   ✔  - Moshe Atlow (@MoLow): https://github.com/nodejs/node/pull/46364#pullrequestreview-1274089683
   ✔  - Rich Trott (@Trott) (TSC): https://github.com/nodejs/node/pull/46364#pullrequestreview-1274390684
   ℹ  This PR is being fast-tracked
   ✔  Last GitHub CI successful
   ℹ  Green GitHub CI is sufficient
--------------------------------------------------------------------------------
   ✔  No git cherry-pick in progress
   ✔  No git am in progress
   ✔  No git rebase in progress
--------------------------------------------------------------------------------
- Bringing origin/main up to date...
From https://github.com/nodejs/node
 * branch                  main       -> FETCH_HEAD
✔  origin/main is now up-to-date
- Downloading patch for 46364
From https://github.com/nodejs/node
 * branch                  refs/pull/46364/merge -> FETCH_HEAD
✔  Fetched commits as 91b78c9fd9e8..7e3a1a4629e3
--------------------------------------------------------------------------------
[main 5556e80364] tools: update doc to [email protected] [email protected]
 Date: Thu Jan 26 10:38:49 2023 +0000
 2 files changed, 157 insertions(+), 213 deletions(-)
[main 51f4c49a0e] tools: update doc to [email protected] [email protected]
 Date: Sun Jan 29 00:28:05 2023 +0000
 1 file changed, 42 insertions(+), 36 deletions(-)
   ✔  Patches applied
There are 2 commits in the PR. Attempting autorebase.
Rebasing (2/4)

Executing: git node land --amend --yes
--------------------------------- New Message ----------------------------------
tools: update doc to [email protected] [email protected]

PR-URL: #46364
Reviewed-By: Luigi Pinca [email protected]
Reviewed-By: Moshe Atlow [email protected]
Reviewed-By: Rich Trott [email protected]

[detached HEAD f8d1e7ee66] tools: update doc to [email protected] [email protected]
Date: Thu Jan 26 10:38:49 2023 +0000
2 files changed, 157 insertions(+), 213 deletions(-)
Rebasing (3/4)
Rebasing (4/4)

Executing: git node land --amend --yes
--------------------------------- New Message ----------------------------------
tools: update doc to [email protected] [email protected]

PR-URL: #46364
Reviewed-By: Luigi Pinca [email protected]
Reviewed-By: Moshe Atlow [email protected]
Reviewed-By: Rich Trott [email protected]

[detached HEAD d32b1a53ec] tools: update doc to [email protected] [email protected]
Date: Sun Jan 29 00:28:05 2023 +0000
1 file changed, 42 insertions(+), 36 deletions(-)

Successfully rebased and updated refs/heads/main.

ℹ Add commit-queue-squash label to land the PR as one commit, or commit-queue-rebase to land as separate commits.

https://github.com/nodejs/node/actions/runs/4039923778

@MoLow MoLow added commit-queue-squash PRs the Commit Queue should land as one squashed commit. commit-queue PRs queued for automated landing through the Commit Queue. and removed commit-queue-failed PRs whose Commit Queue landing failed and need manual intervention before retrying. labels Jan 30, 2023
@nodejs-github-bot nodejs-github-bot removed the commit-queue PRs queued for automated landing through the Commit Queue. label Jan 30, 2023
@nodejs-github-bot
nodejs-github-bot merged commit 59e2304 into main Jan 30, 2023
@nodejs-github-bot
nodejs-github-bot deleted the actions/tools-update-doc branch January 30, 2023 08:01
@nodejs-github-bot

Copy link
Copy Markdown
Collaborator Author

Landed in 59e2304

ruyadorno pushed a commit that referenced this pull request Feb 1, 2023
PR-URL: #46364
Reviewed-By: Luigi Pinca <[email protected]>
Reviewed-By: Moshe Atlow <[email protected]>
Reviewed-By: Rich Trott <[email protected]>
@ruyadorno ruyadorno mentioned this pull request Feb 1, 2023
@juanarbol juanarbol mentioned this pull request Mar 3, 2023
juanarbol pushed a commit that referenced this pull request Mar 3, 2023
PR-URL: #46364
Reviewed-By: Luigi Pinca <[email protected]>
Reviewed-By: Moshe Atlow <[email protected]>
Reviewed-By: Rich Trott <[email protected]>
juanarbol pushed a commit that referenced this pull request Mar 5, 2023
PR-URL: #46364
Reviewed-By: Luigi Pinca <[email protected]>
Reviewed-By: Moshe Atlow <[email protected]>
Reviewed-By: Rich Trott <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

commit-queue-squash PRs the Commit Queue should land as one squashed commit. doc Issues and PRs related to Node.js documentation. fast-track PRs proposed for a shorter-than-standard waiting period before landing. tools Issues and PRs related to the tools directory.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants