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
