django/ticketbot — pull request #5 by bmispelon (2014-08-28 14:19:32+00:00)
Title: Auto-linked github pull requests when using PR1234.

This makes it so that typing "PR1234" will autolink to https://github.com/django/django/pull/1234.