From 4aacf2e2a53140be2578b4407343b2c110996bf2 Mon Sep 17 00:00:00 2001 From: Chandler Carruth Date: Sun, 24 May 2026 16:26:28 -0700 Subject: [PATCH] Fix new-proposal script to correctly get GitHub username (#7255) Assisted-by: Antigravity with Gemini --- proposals/scripts/new_proposal.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/proposals/scripts/new_proposal.py b/proposals/scripts/new_proposal.py index e8492e0013d9..a85375c3f800 100755 --- a/proposals/scripts/new_proposal.py +++ b/proposals/scripts/new_proposal.py @@ -220,11 +220,11 @@ def main() -> None: # Create a PR with WIP+proposal labels. if git_bin: _run([git_bin, "push"]) - user = _run([git_bin, "config", "get", "user.name"], get_stdout=True) else: assert jj_bin # For mypy. _run([jj_bin, "git", "push"]) - user = _run([jj_bin, "config", "get", "user.name"], get_stdout=True) + + user = _run([gh_bin, "api", "user", "-q", ".login"], get_stdout=True) assert user # For mypy. user = user.strip() pr_num = _run_pr_create(