What is tip-bot?

From: Alexander Holler
Date: Tue Feb 19 2013 - 04:41:08 EST


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,

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/