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