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