The kernel pull-request tracker bot

Since the beginning, one part of the kernel-development task has been watching the mainline to see whether one’s work had been merged. That is about to change with the advent of the pull-request tracker bot, which will inform maintainers when o…