added convenience script for dev pushing