Yeah, if you check the github gles3 branch he's active, just releasing bigger commits at a time, but there seems to be good progress being made.
I myself am currently inactive as far as godot projects go because I'm waiting on the new renderer to mature, since I'm more into shaders and higher end 3D graphics than anything else. In the meanwhile I'm working on 3D models that I intend to build a asset pack out of to be included with the shader's I intend to make with/for the new renderer. :)
