Last modified: 2014-02-02 19:36:03 UTC
See https://gerrit.wikimedia.org/r/#/c/100980/2; possibly related to https://bugzilla.wikimedia.org/show_bug.cgi?id=55127
Seems that this bug has been solved with the change above. I didn't had bot hanging since that fix.
It happens again and the bot hangs for unknown reasons