Code

push: add '--prune' option