pushing changes on my desktop to server before formatting