What is tip-bot?

[Alexander Holler]

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?

Thanks in advance,

Alexander
--
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/