We want to detect the two conflict cases as fllows: 1. The package is already installed from some repository like CRAN that is not GitHub. 2. The package is already installed from GtiHub but the username differs. In the above cases, we ask whether to overwrite it and remove from "repo" if the answer is no.