Erwägungen:
Am 24. Juli 2020 hat A._ eine Rechtsverzögerungsbeschwerde gegen das Zürcher Obergericht eingereicht.
Am 25. Juli 2020 hat A._ seine Beschwerde zurückgezogen.
Mit dem Rückzug der Beschwerde ist das Verfahren nach <ref-law> abzuschreiben. Auf die Erhebung von Gerichtskosten kann ausnahmsweise verzichtet werden.

Demnach verfügt der Präsident:
1.
Die Beschwerde wird als durch Rückzug erledigt abgeschrieben.
2.
Es werden keine Kosten erhoben.
3.
Diese Verfügung wird dem Beschwerdeführer und dem Obergericht des Kantons Zürich, III. Strafkammer, schriftlich mitgeteilt.
Lausanne, 28. Juli 2020
Im Namen der I. öffentlich-rechtlichen Abteilung
des Schweizerischen Bundesgerichts
Der Präsident: Chaix
Der Gerichtsschreiber: Störi