Okay, how exactly? Unless he literally copies the code to his project. Then there would be duplication issues correct? This is obviously more of a Github issue than a code commit, merge, or push issue but still.