What do you do if you discover that some part of your own open source project infringes copyright?
Consider the following hypothetical situation. An open source project's maintainer finds code in his Github project which infringes copyright. i.e., There is code which he was responsible for which wasn't legally copied into the project. What should be the procedure to remedy it?