Update push_flags.py