Select Git revision
assignments
backend-fixes
deployment
frontend-devel
master
assignment01
assignment02
assignment03
assignment04
assignment05
assignment06
assignment07
assignment08
final