ghc_repos_git_pull: Git Pull

In KopfLab/ghctools: Tools for GitHub Classroom

Git Pull

Description

Pulls changes from the server to update the active branch for all repositories that match the prefix.

Usage

ghc_repos_git_pull(prefix, folder = ".")

Arguments

prefix	repository prefix (typically this would be a github classroom assignment prefix)
folder	the target directory where to look for matching git repositories (searches recursively in all subdirectories)

Value

returns the prefix invisibly to facilitate piping

See Also

Other command functions: ghc_repos_copy_to(), ghc_repos_git_add(), ghc_repos_git_clone(), ghc_repos_git_commit(), ghc_repos_git_create_branch(), ghc_repos_git_delete_branch(), ghc_repos_git_discard_changes(), ghc_repos_git_push(), ghc_repos_git_remove(), ghc_repos_git_status(), ghc_repos_git_switch_branch(), ghc_repos_run_git_command()

KopfLab/ghctools documentation built on Feb. 20, 2023, 9:25 a.m.