Retire pushpatches.py