Remove users from a repo

Remove users from a repo

remove_users_repo(token, repo, userfile, server = "https://gitlab.com/api/v4/")

Arguments

token

GitLab token

repo

Repo the update

userfile

A csv file with student information (i.e., username, token, and email)

server

The gitlab API server

Details

See https://github.com/vnijs/gitgadget for additional documentation