Skip to content

Instantly share code, notes, and snippets.

@mohanarpit

mohanarpit/update-github-prs.sh

Created October 12, 2021 15:19
Show Gist options
  • Save mohanarpit/6ddc8acf1b5c71a600921dfa7bb5848a to your computer and use it in GitHub Desktop.
Save mohanarpit/6ddc8acf1b5c71a600921dfa7bb5848a to your computer and use it in GitHub Desktop.
Download ZIP
This script merges the default branch into any PR branch
Raw
update-github-prs.sh
#!/bin/bash
$default_branch="release"
git checkout $default_branch;
git pull;
while IFS= read -r prs || [ -n "$prs" ]; do
echo "Checking out PR: $prs"
gh pr checkout $prs;
git merge $default_branch --no-edit;
git push;
done < $1
@mohanarpit
Copy link
Author

Usage:

$ ./update_github_prs.sh <filename>
Example:
$ ./update_github_prs.sh pr.txt
$ cat pr.txt
123
214

@somangshu
Copy link

Dependency: GitHub CLI

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment