Function _write

deps/v8/tools/dev/gm.py:382–385

(filename, content, log=True)

def _write(filename, content, log=True):
  if log:
    print(f"# echo > {filename} << EOF\n{content}EOF")
  filename.write_text(content)


def _notify(summary, body):