Implement checkRepo and remove the dev binary from the repository