Fix broken push tests