Re: What is tip-bot?

[richard -rw- weinberger]

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. :)

-- 
Thanks,
//richard
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/