Should all be redundant copies of the github filter repo