20180605 city.bengaluru: Metro strike called off; HC asks government to step in