Select Git revision
On July, 16th between 18:00 and 22:00 gitlab.tugraz.at may not be available (Reason: maintenance work / gitlab updates).
TODO: sum works only in general search, not in one column only search See issue #3
TODO: sum works only in general search, not in one column only search See issue #3