Make sure repo @CRAN@ is not pushed to the server.