Use the right label to fetch the list of labels
Merge branch 'cryptoRedo' of https://github.com/leithaus/GLoSEval into cryptoRedo
Merge branch 'cryptoRedo' of https://github.com/leithaus/GLoSEval into cryptoRedo