Namespace global vars

[elkalt]

TODO: add summary and links here

[danakj]

FWIW looks like the script did not finish running, the file name should have been changed to be the proposal number after the PR was created. Maybe you were missing the gh tool when running it? May want to delete this PR and try again.

[elkalt]

FWIW looks like the script did not finish running, the file name should have been changed to be the proposal number after the PR was created. Maybe you were missing the gh tool when running it? May want to delete this PR and try again.

I have gh installed, but the script fails when trying to update the title of the pull request:

+ RUNNING: /usr/bin/gh pr create --draft --label proposal --label 'proposal draft' --repo carbon-language/carbon-lang --title 'Namespace global vars' --body 'TODO: add summary and links here'
pull request update failed: GraphQL: elkalt does not have permission to update the pull request PR_kwDOD3caBc6mwW2j. (updatePullRequest)

For my previous proposal, I just finished the editing manually. I'll dig into a bit more tomorrow, but I was wondering if the error was because I don't have commit access to this repo. It shouldn't make a difference, but let me know if you have any insights.