push spec