deleted a file in the last push from desktop but now I want to put it back from laptop