#!/bin/bash

exec ./to-git.sh hg $1 $2 "ooo-committers.txt" "ooo-repositories-dev300.txt" $3