Add some debug info to the push script