New comment by 0x5c on void-packages repository

https://github.com/void-linux/void-packages/issues/36657#issuecomment-1099896757

Comment:
> so it is not exactly a bug (as in code mistake/error), it just not a feature that the action offers

The documentation [states](https://github.com/actions/stale#remove-stale-when-updated):
> `remove-stale-when-updated`
Automatically remove the stale label when the issues or the pull requests are updated (based on [GitHub issue](https://docs.github.com/en/rest/reference/issues) field `updated_at`) or commented.
Default value: `true`

The action not acting like the documentation says it should is a bug

Edit: adding those relevant lines
```
  [#34884] Pull request has been updated: true
  [#34884] The option remove-stale-when-updated (​https://github.com/actions/stale#remove-stale-when-updated​) is: true
  [#34884] The stale label should not be removed
```
(no message removed between them)
- It detects the PR has been updated: Correct
- It states it should remove stale when a pr is updated: Correct
- It decides that the label should not be removed: ???