help_updateGITlib: Update GitHub library.

Description Usage Arguments Author(s)

Description

Update GitHub library, by default from user repository "JBrenn"

Usage

1
2
help_updateGITlib(lib, user = "JBrenn", branch = "master",
  bld_vignettes = FALSE)

Arguments

lib

character, GitHub repository to update.

user

character, GitHub user name.

branch

character, GitHub repository branch

bld_vignettes

boolean, build vignettes? default = FALSE

Author(s)

Johannes Brenner johannes.brenner@ufz.de


JBrenn/Helper4me documentation built on May 7, 2019, 6:49 a.m.