git_clone_or_pull: Clone or pull to the run dir

Description Usage Arguments Details

View source: R/git.R

Description

Clone or pull to the directory to the corresponding run directory

Usage

1

Arguments

dir

directory to clone or pull to the corresponding rundir

Details

1. Ensure dir is a git worktree 2. Get the git HEAD name 3. Create the run directory if it does not exist 4. Clone/pull as required


rjbgoudie/mngr documentation built on May 27, 2019, 9:13 a.m.