All functions

add_users_repo()

Add users to a repo

assign_work()

Assign work to each student/team by creating a fork of the main repo

check_tokens()

Check student tokens

checkerr()

Check error status

collect_work()

Create merge requests for each student/team

create_group()

Create a group on gitlab using the API

create_repo()

Create the main repo from a local directory

fetch_work()

Fetch all merge requests as local branches and link to a remote

get_port()

noRd export

gitgadget()

gitgadget

gitgadget_callr()

Launch gitgadget in a separate process

gitgadget_url()

Start gitgadget and show url to open the application in an external browser

projID()

Find project ID

read_ufile()

Reach user file

remove_project()

Remove a project

remove_users_repo()

Remove users from a repo