[plt-dev] Commit logs and Gnats

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sat Apr 24 10:29:49 EDT 2010


Thanks! 

On Apr 24, 2010, at 4:07 AM, Eli Barzilay wrote:

> I've added a hook that scans commit messages for PR mentions.
> Currently, it's doing a simple job -- looks for two kinds of patterns
> in these messages:
> 
> * mention pattern: PR 1234
>  (or "pr 1234" or "Pr1234")
> 
> * closing pattern: closes PR 1234
>  (or "closing", or "fixing", or "fixed")

Could you drop the 'pr' part and add 'closed' to the last one? 


Posted on the dev mailing list.