Added prod attribute to push_guide.md