add procon repo