Add dev/push script.

Change-Id: I84f12d8df8d65a3d7a5d3287266849f250283502