pub fn verify<W1, W2>(repo: Repository, _: Context<W1, W2>) -> Result<Outcome>
where W1: Write, W2: Write,