[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: An IRC bot called Peanuts
|
From: |
Andreas Enge |
|
Subject: |
Re: An IRC bot called Peanuts |
|
Date: |
Thu, 27 Jun 2024 16:00:47 +0200 |
Am Thu, Jun 27, 2024 at 03:31:00PM +0200 schrieb Ludovic Courtès:
> Likewise, I like resolution of bug numbers and commit IDs, but I find
> that echoing the title of HTML pages is often redundant and unnecessary.
Maybe this could be a good summary ("consensus") of what people have
expressed (including, ironically, the original rude private message)?
Keep reporting details on issues and commits, and drop other messages?
Andreas