-
-
Notifications
You must be signed in to change notification settings - Fork 15.4k
Get rid of LLM disclosure checkboxes #160785
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
base: main
Are you sure you want to change the base?
Changes from all commits
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,15 +1,11 @@ | ||
| <!-- homu-ignore:start --> | ||
|
|
||
| - [ ] I did not use an LLM to create a change in this PR. | ||
| - [ ] I used an LLM to create a change in this PR, and I have explained below how it was used. | ||
|
|
||
| <!-- | ||
| Please read our [LLM policy] before opening a PR, | ||
| and check one of the boxes above to indicate whether you've used an LLM. | ||
| If you do not check a box, a reviewer may ask you whether an LLM was involved. | ||
| If you used an LLM to generate any part of this PR, including the PR description, please disclose that according to our [guidelines][disclosure guidelines]. | ||
| LLM contributions are not banned, but are held to a higher standard of review and correctness. | ||
| If you do not want your disclosure to be part of the permanent git history, add `<!-- homu-ignore:start` before it. | ||
|
Member
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Could we just drop this line instead, please? The disclosure is useful information.
Member
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. people should have control over what they put in a permanent record.
Member
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I think requiring the disclosure to be in the permanent record is useful.
Member
Author
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
Member
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
We can disable comments on commits entirely: I think this s useful technical information that's worth preserving. But 🤷 I also won't spend a lot of effort arguing about this now so fine to let it go. |
||
|
|
||
| [LLM policy]: https://forge.rust-lang.org/policies/llm-usage.html | ||
| [disclosure guidelines]: https://rustc-dev-guide.rust-lang.org/llm-guidance/writing.html#disclosure-guidelines | ||
|
|
||
| If this PR is related to an unstable feature or an otherwise tracked effort, | ||
| please link to the relevant tracking issue here. If you don't know of a related | ||
|
|
@@ -20,4 +16,3 @@ a specific user to review your work, you can assign it to them by using | |
|
|
||
| r? <reviewer name> | ||
| --> | ||
| <!-- homu-ignore:end --> | ||
Uh oh!
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is the tooling smart enough to not parse the
homu-ignorewhen it's within a comment?View changes since the review
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Not for that reason.
This one will be ignored because there's no matching end:
https://github.com/rust-lang/bors/blob/a4b1de2d268c4b54c0830efa4f315b14e6a2335f/src/bors/mod.rs#L341
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is probably important to fix then, either in bors or in the template. I could see this interacting poorly with other ignore comments. I believe that if you had a situation of:
then all of the real content would be ignored.
Uh oh!
There was an error while loading. Please reload this page.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We could fix the implementation to ignore escaped comment blocks, but that seems like it might complicate the bors code a bit.
Or we could change the PR template to link to documentation for the ignore block?