push: add '--prune' option