push with diff spec