gtl pr merge
Parent command: gtl pr.
Select a local GitHub account by username or profile name, approve a pull request with that account, and merge it into its remote base branch using the GitHub CLI. When no PR number or URL is provided, the PR is resolved from the current branch.
Usage
bash
gtl pr merge [username] [url-or-number] [flags]Examples
bash
gtl pr merge monalisa
gtl pr merge monalisa 123
gtl pr merge monalisa https://github.com/owner/repo/pull/123
gtl pr merge monalisa 123 --method squash
gtl pr merge monalisa 123 --auto=false
gtl pr merge monalisa 123 --admin
gtl pr merge monalisa 123 --delete-branchFull Help
text
Select a local GitHub account by username or profile name, approve a pull request with that account, and merge it into its remote base branch using the GitHub CLI. When no PR number or URL is provided, the PR is resolved from the current branch.
Usage:
gtl pr merge [username] [url-or-number] [flags]
Examples:
gtl pr merge monalisa
gtl pr merge monalisa 123
gtl pr merge monalisa https://github.com/owner/repo/pull/123
gtl pr merge monalisa 123 --method squash
gtl pr merge monalisa 123 --auto=false
gtl pr merge monalisa 123 --admin
gtl pr merge monalisa 123 --delete-branch
Flags:
--admin Use administrator privileges to merge a PR that does not meet requirements
--auto Enable GitHub auto-merge when branch policies require it (default true)
--delete-branch Delete the PR branch after merging
-h, --help help for merge
--method string Merge method: merge, squash, or rebase (default "merge")