GitHub CreateEvent at 2014-08-15 06:37:51
Repository: revlist
Actor: pcharlan
Payload: ref: other
ref_type: branch
master_branch: master
description: Reproduces problem with git rev-list not pruning a commit
pusher_type: user