A slightly simpler push script