push: remove unnecessary cleanup
authorFelipe Contreras <felipe.contreras@gmail.com>
Fri, 11 Apr 2014 17:28:27 +0000 (12:28 -0500)
committerFelipe Contreras <felipe.contreras@gmail.com>
Fri, 11 Apr 2014 17:28:27 +0000 (12:28 -0500)
commit4b5378582cd23b6c8e63d534738a465b5bf84ab6
tree809f2e4ee88c32fd5e8c806b1bfaecd3cc906255
parentb59e5ce913ff920b8cecd2ff71a96c7a5e19d187
push: remove unnecessary cleanup

Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
builtin/push.c