this post was submitted on 02 Aug 2023
71 points (91.8% liked)

Open Source

31256 readers
313 users here now

All about open source! Feel free to ask questions, and share news, and interesting stuff!

Useful Links

Rules

Related Communities

Community icon from opensource.org, but we are not affiliated with them.

founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] erre@programming.dev 4 points 1 year ago

One of my favorite PR checks. Glad to see this.