20150721 city.bengaluru: Is IT secretary Krishna on his way out?