GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — tools: add util scripts to land and rebase PRs · nodejs/node@a47bb9b

File tree

Expand file treeCollapse file tree
Open diff view settings
Filter options
  • tools/actions
    • merge.sh
    • rebase.sh
Expand file treeCollapse file tree
Open diff view settings
Collapse file

‎tools/actions/merge.sh‎

Copy file name to clipboard
+62Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,62 @@
1+
#!/bin/sh
2+
3+
# Requires [gh](https://cli.github.com/), [jq](https://jqlang.github.io), git, and grep. Also awk if you pass a URL.
4+
5+
# This script can be used to "purple-merge" PRs that are supposed to land as a single commit, using the "Squash and Merge" feature of GitHub.
6+
# To land a PR with this tool:
7+
# 1. Run `git node land <pr-id-or-url> --fixupAll`
8+
# 2. Copy the hash of the commit at the top of the PR branch.
9+
# 3. Run `tools/actions/merge.sh <pr-id-or-url> <commit-hash>`.
10+
11+
set -xe
12+
13+
pr=$1
14+
commit_head=$2
15+
shift 2 || { echo "Expected two arguments"; exit 1; }
16+
17+
OWNER=nodejs
18+
REPOSITORY=node
19+
20+
if expr "X$pr" : 'Xhttps://github.com/[^/]\{1,\}/[^/]\{1,\}/pull/[0-9]\{1,\}' >/dev/null; then
21+
OWNER="$(echo "$pr" | awk 'BEGIN { FS = "/" } ; { print $4 }')"
22+
REPOSITORY="$(echo "$pr" | awk 'BEGIN { FS = "/" } ; { print $5 }')"
23+
pr="$(echo "$pr" | awk 'BEGIN { FS = "/" } ; { print $7 }')"
24+
elif ! expr "X$pr" : 'X[0-9]\{1,\}' >/dev/null; then
25+
echo "The first argument should be the PR ID or URL"
26+
fi
27+
28+
git log -1 HEAD --pretty='format:%B' | git interpret-trailers --parse --no-divider | \
29+
grep -q -x "^PR-URL: https://github.com/$OWNER/$REPOSITORY/pull/$pr$" || {
30+
echo "Invalid PR-URL trailer"
31+
exit 1
32+
}
33+
git log -1 HEAD^ --pretty='format:%B' | git interpret-trailers --parse --no-divider | \
34+
grep -q -x "^PR-URL: https://github.com/$OWNER/$REPOSITORY/pull/$pr$" && {
35+
echo "Refuse to squash and merge a PR landing in more than one commit"
36+
exit 1
37+
}
38+
39+
commit_title=$(git log -1 --pretty='format:%s')
40+
commit_body=$(git log -1 --pretty='format:%b')
41+
42+
jq -n \
43+
--arg title "${commit_title}" \
44+
--arg body "${commit_body}" \
45+
--arg head "${commit_head}" \
46+
'{merge_method:"squash",commit_title:$title,commit_message:$body,sha:$head}' > output.json
47+
cat output.json
48+
if ! gh api -X PUT "repos/${OWNER}/${REPOSITORY}/pulls/${pr}/merge" --input output.json > output; then
49+
cat output
50+
echo "Failed to merge $pr"
51+
rm output output.json
52+
exit 1
53+
fi
54+
cat output
55+
if ! commits="$(jq -r 'if .merged then .sha else error("not merged") end' < output)"; then
56+
echo "Failed to merge $pr"
57+
rm output output.json
58+
exit 1
59+
fi
60+
rm output.json output
61+
62+
gh pr comment "$pr" --repo "$OWNER/$REPOSITORY" --body "Landed in $commits"
Collapse file

‎tools/actions/rebase.sh‎

Copy file name to clipboard
+11Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
#!/bin/sh
2+
3+
set -xe
4+
5+
# shellcheck disable=SC2016
6+
gh api graphql -F "prID=$(gh pr view "$1" --json id --jq .id || true)" -f query='
7+
mutation RebasePR($prID: ID!) {
8+
updatePullRequestBranch(input:{pullRequestId:$prID,updateMethod:REBASE}) {
9+
clientMutationId
10+
}
11+
}'

0 commit comments

Comments
0 (0)
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.