Porcelain.diff: allow setting old_rev and new_rev seperately from each other.