Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

token argument should be optional #88697

Open
pmatos opened this issue Apr 15, 2024 · 4 comments · May be fixed by #88699
Open

token argument should be optional #88697

pmatos opened this issue Apr 15, 2024 · 4 comments · May be fixed by #88699

Comments

@pmatos
Copy link
Contributor

pmatos commented Apr 15, 2024

It seems like the script llvm/utils/git/code-format-helper.py considers the case where token is None so that the PR is not updated, however it marks the --token argument as required. It seems to be this should be optional.

"--token", type=str, required=True, help="GitHub authentiation token"

pmatos added a commit to pmatos/llvm-project that referenced this issue Apr 15, 2024
Also fix typo in help string for --token.
Fixes llvm#88697
@pmatos pmatos linked a pull request Apr 15, 2024 that will close this issue
@llvmbot
Copy link
Collaborator

llvmbot commented Apr 15, 2024

@llvm/issue-subscribers-clang-format

Author: Paulo Matos (pmatos)

It seems like the script `llvm/utils/git/code-format-helper.py` considers the case where token is None so that the PR is not updated, however it marks the `--token` argument as required. It seems to be this should be optional.

"--token", type=str, required=True, help="GitHub authentiation token"

@boomanaiden154
Copy link
Contributor

Do you have a link to a workflow failure that was caused by this flag being required?

@tstellar
Copy link
Collaborator

"--token", type=str, required=True, help="GitHub authentiation token"

I think the reason for this is so the script can be used in a pre-commit git hook on someone's look machine.

@boomanaiden154
Copy link
Contributor

Ah, right. I forgot that was a supported use case.

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

Successfully merging a pull request may close this issue.

6 participants