add_users_repo |
Add users to a repo |
assign_work |
Assign work to each student/team by creating a fork of the main repo |
checkerr |
Check error status |
check_tokens |
Check student tokens |
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 |