The kernel pull-request tracker bot

Since the beginning, one part of the kernel-development task has beenwatching the mainline to see whether one's work had been merged. That isabout to change with the advent of the pull-request trackerbot, which will inform maintainers when one of their pull requests hasmade it into the mainline. Konstantin Ryabitsev, who put this servicetogether, plans to expand it to other trees once things have settled down.