Push feedback and issues to GitHub

Usage

push_to_github(
  grading_progress_log_path,
  class_github_name,
  example_github_repo,
  example_identifier,
  push_feedback = FALSE,
  create_issues = FALSE,
  team_grading = FALSE
)

Arguments

grading_progress_log_path: string; assist-grading() functions save a file which includes information for gradetools's internal use. This is that path for that file. Must be a .csv
class_github_name: string, GitHub name of the class. This input is only needed if github_issues is set to TRUE.
example_github_repo: string; example of the name of a student's GitHub repo for this assignment (or team's repo, if team_grading = TRUE). The example_identifier must feature in the example_github_repo and must be the same as the roster identifier for the student (or for the team if team_grading = TRUE).
example_identifier: string; the GitHub username of the student or the name of the team, if team_grading = TRUE. This needs to be present somewhere in example_github_repo.
push_feedback: logical, whether to push feedback files
create_issues: logical, whether to create issues
team_grading: logical, indicates if any assignment submission is associated with multiple students (e.g. team projects)