19:26
<TabAtkins>
FYI: I've had to delete another abusive comment from Aaron Adams (@aadamsx on GitHub) in the pipeline repo. I'm not specifically seeking any action, because I don't want to bother, just noting it for posterity if they decide to become active again and I need to ask for a ban.
23:32
<ljharb>
delete, not just hide?
23:32
<ljharb>
we generally don't delete things