Mike Judge Pilot?

On the (main) nerdist podcast TJ was talking about a Mike Judge pilot for HBO. . One that he and Kumail Nanjiani would both be in. Great producer/writer/show head, great network, amazing talent line up. I am so massively excited at this prospect. Does anyone know if it's still in the works or not???