Heath Stewart @heaths.dev · Jun 11 You can include commit details via project settings. Pair that with an existing bot for PR format or just a simple GitHub Action - either of which some other projects use - and you could probably avoid the hassle and optics of not merging PRs.
0 likes 2 replies
?
Replies
A few off the shelf options: github.com/marketplace?... I’ve contributed to quite a few repos that require eg, semantic commit titles for PRs. A mere minor annoyance - and totally acceptable if that’s what’s required - and people still get “credit” for merged PRs.
That feels like a lot of time and energy spent on something that "could probably" make something that I already do...