Open
Description
Problem to solve
Community contributions somestimes fall between the cracks and go unnoticed for a long period of time. We also recently changed how we automatically close stale PRs in gitpod-io/gitpod#5898 which could lead to closed community contributions (PRs) without being noticed.
Proposal
If possible, let's highlight community contributions with at least adding the community contribution label automatically.