Simplify to avoid a typo

[philderbeast]

I found a typo reading the test suite readme and ended up shortening a sentence to avoid it.

[philderbeast]

@ulysses4ever, we'll need the label tweak to get this one through, won't we, same as #9264?

[ulysses4ever]

@philderbeast I'm surprised that no one has granted you permissions to manage labels. I'll fix it today. Thanks!

[ulysses4ever]

@mergify refresh

[mergify]

refresh

✅ Pull request refreshed

[Mikolaj]

@philderbeast, you have the rare and powerful Write access to the repo. while Triage suffices to add labels. Are you sure you can't add labels to your PRs?

[philderbeast]

@Mikolaj I can add labels. Thanks for that privilege.

[ulysses4ever]

@Mikolaj with no explicit permissions, I'm pretty sure you can't change labels even on your own PRs.

[Mikolaj]

I'm missing something. Is this the label changing we are talking about?

[ulysses4ever]

Yes, it is. Write permission is enough to do that. Triage as well. No permission is not enough. I thought that you suggested above that no permission is supposed to be enough to change labels on your own PRs, which is not the case (I think). If you didn't suggest that, then I misread you, and I apologize.

[Mikolaj]

No, I didn't intend to suggest that. Phew, great, so we have a common understanding of how it's supposed to work. :) I'm just worried something is broken (or I'm misunderstanding github), given that @philderbeast had the Write permission for some time, but apparently was not able to change labels (or else, why @ulysses4ever needed to do that personally?).

[ulysses4ever]

Oh, so I misread you in another way also: I didn’t get / know that @philderbeast had the permissions! In that case I can’t explain it in any way other than that the GitHub UI is confusing (I very much believe in that), and Phil missed the button.

[geekosaur]

I can confirm that you can'[t add labels even on your own PRs if you don't have repo permissions of some kind.

[Mikolaj]

I can confirm that you can'[t add labels even on your own PRs if you don't have repo permissions of some kind.

Good to know, but it's not the situation we are trying to understand, because Phil did have the permissions (at least since a few days ago, when I checked).