carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-10-05 22:02:55 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Fix new-proposal script to correctly get GitHub username (#7255)

Browse Source 
Assisted-by: Antigravity with Gemini
This commit is contained in:
Chandler Carruth
2026-05-24 23:26:28 +00:00
committed by GitHub
parent a49e1d94b8
commit 4aacf2e2a5
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
proposals/scripts/new_proposal.py
+2 -2
View File
@@ -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(