Update report-pull-request-results

fioriNTU · Mar 7, 2018 · ffb85ba · ffb85ba
1 parent 1c1ecf8
commit ffb85ba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/report-pull-request-results b/report-pull-request-results
@@ -1,4 +1,5 @@
 #!/bin/bash
+eval $(scram unset -sh)
 for x in 0 1 2 ; do
   $(dirname $0)/report-pull-request-results.py "$@" && exit 0
   sleep 30