Merge pull request #1512 from carlosmn/push-delete-only Fix push for delete-only and add travis rules to test it