ghc_repos_git_push: Git Push

In KopfLab/ghctools: Tools for GitHub Classroom

Git Push

Description

Pushes committed changes in the active branch (see ghc_repos_git_commit) for all repositories that match the prefix to GitHub. Note that this requires the repositories to have been cloned with a valid access token, otherwise this operation will fail due to lack of permissions. GitHub will also not allow git push if there are unpulled changes on the server. Use ghc_repos_git_pull followed by ghc_repos_git_push in this case (unless there are merging issues).

Usage

ghc_repos_git_push(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_pull(), 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.