Add IRSTV repository