Check student tokens
check_tokens(
userfile,
server = Sys.getenv("git.server", "https://gitlab.com/api/v4/")
)
A csv file with student information (i.e., username, token, and email)
The gitlab API server
See https://github.com/vnijs/gitgadget for additional documentation