Antoine van der Lee

@alexsereno thanks for letting me know! I didn't know this was about videos. I'll reopen!

Ok, oops, I just realized I've been using the "Device Resolutions" instead of "Accepted resolutions". This will be fixed in 12.9.1!

Interesting idea! It could be nice improvement indeed, as long as the regular textfield still works. I'll see what I can do!

Thanks @heidiproske, great found!! I don't have time soon to fix this, but you can help to make it easier to solve this. Do you know how SwiftLint parses environment...

@roblabs pinch gestures, yes! That would be great to add for sure 💪

@rogerluan this sounds like a valuable feature! We don't have the time to work on these requests, unless we need them ourselves. We do allow contributions and we're often fast...

> Can the bot be selectively disabled for specific PRs? Say, by adding a special label? :) That's a very good question and that can actually be useful. Let me...

Fixed that, it should no longer happen due to the `enhancement` label!

I updated our stale manager, should be fixed now