This repository was archived by the owner on Oct 6, 2022. It is now read-only.
This repository was archived by the owner on Oct 6, 2022. It is now read-only.
Deleting a package takes some manual intervention #354
Description
What I do is go in and deleted the source and binaries from the "GRAN" folder within the Jenkins/jobs/workspace. Then, open RStudio with my "pr" account, and run:
> tools::write_PACKAGES(file.path("GRAN", 'src', 'contrib'), type='source')
> tools::write_PACKAGES(file.path("GRAN", 'bin', 'windows',"contrib","3.2"), type='win.binary')
> tools::write_PACKAGES(file.path("GRAN", 'bin', 'windows',"contrib","3.3"), type='win.binary')
from the same Jenkins/jobs/workspace working directory.