#!/usr/bin/env python3
from pathlib import Path
import subprocess,argparse
ap=argparse.ArgumentParser(); ap.add_argument('--workspace',default='workspace'); a=ap.parse_args(); ws=Path(a.workspace).resolve(); repo=ws/'repo'
head=subprocess.check_output(['git','rev-parse','HEAD'],cwd=repo,text=True).strip()
p=ws/'external_state.marker'; p.write_text('SYNTHETIC_EXTERNAL_EFFECT_FROM='+head+'\n',encoding='utf-8')
print(p.read_text(),end='')