Re: What is tip-bot?

From: richard -rw- weinberger
Date: Tue Feb 19 2013 - 04:54:56 EST

On Tue, Feb 19, 2013 at 10:40 AM, Alexander Holler <holler@xxxxxxxxxxxxx> wrote:
> Hello,
> until now I could successfully suppress my curiosity about those tip:foo
> messages, but as the bot (or one of them) has now catched me too, I want to
> ask what it is.
> Searching for "tip(-)bot" or similiar doesn't reveal some useful info (for
> obvious reasons). Could someone give me an URL to source or documentation
> about that tool so that I can enlight myself about it's meaning?

AFAIK tip-bot is a set of shell scripts used by _T_glx, _I_ngo and _P_eter. :)

To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at
Please read the FAQ at