* On 30 Nov 2012, Kevin Bullock wrote: > You might also consider setting a hook on your shared repo to prevent > creating new heads entirely (thus preventing push --force from > working). https://bitbucket.org/dgc/headcount/ -- David Champion • dgc at uchicago.edu • IT Services • University of Chicago