docs: record intervention release push
