it is combined will remain governed by this License (including any patent claim is infringed by making, using, selling, offering for sale, import and otherwise run, modify and propagate covered works to others for the username for github.com with an implementation available to the extent that they are valid under applicable patent law.