Select Git revision
master
length
DD-Rev0
DP-Rev.0
SRS-Rev0
TP-Rev0
TP-Rev1
probStmtRev0
master and master are the same.