half-ogre/qed — pull request #15 by half-ogre (2013-11-19 16:01:18+00:00)
Title: Ignore deleted branches

When a branch is deleted, GitHub sends a push event where after is 0000000. There's no need to do anything in this case. Closed #14.