Closed ilyagr closed 1 week ago
It feels extraneous. People can just look at whether the GitHub UI shows a checkmark next to the commit.
This creates more space for the IRC badge.
This was originally part of #4881, but it might be simpler to merge it separately.
Thanks!
It feels extraneous. People can just look at whether the GitHub UI shows a checkmark next to the commit.
This creates more space for the IRC badge.
This was originally part of #4881, but it might be simpler to merge it separately.