make bors ignore comments in PR template by lqd · Pull Request #126501 · rust-lang/rust (original) (raw)

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 andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Conversation6 Commits1 Checks6 Files changed

Conversation

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})

lqd

Member

@lqd lqd commented

Jun 14, 2024

• Loading

As discussed here, the existing PR template is not yet ignored by bors and the html comments show up in git history.

This PR uses markers so the html comments are deleted by the bot.

r? lcnr

@lqd

@Mark-Simulacrum

@bors r+

Not 100% sure this will work, but let's try it.

@bors

📌 Commit c006748 has been approved by Mark-Simulacrum

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors

Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

and removed S-waiting-on-review

Status: Awaiting review from the assignee but also interested parties.

labels

Jun 14, 2024

@lqd

bors added a commit to rust-lang-ci/rust that referenced this pull request

Jun 15, 2024

@bors

…iaskrgr

Rollup of 9 pull requests

Successful merges:

r? @ghost @rustbot modify labels: rollup

rust-timer added a commit to rust-lang-ci/rust that referenced this pull request

Jun 15, 2024

@rust-timer

@lqd lqd deleted the fix-pr-template branch

June 15, 2024 15:38

@Kobzol

I wonder what will new contributors think of this, it might confuse them:
image

Maybe we should add something like "please delete the markers at the top and bottom please" xD

@lqd

Why? You don’t need to remove the markers if this worked.

@Kobzol

Yeah, it's just that it's maybe not obvious that:

  1. The comments will disappear in the rendered text (although that can be checked with the preview)
  2. The homu comments are not actually important if you modify the text (it might seem like something important that should be kept there).

I was mostly mentioning 2). But as you said, if the markers stay there, that's fine. Unless people only replace the inner comment and put text between the markers 😀

Labels

S-waiting-on-bors

Status: Waiting on bors to run and complete tests. Bors will change the label on completion.