On GitHub, or with any open-source software project more generally, when one group of developers forks a project because they are unhappy with its direction, it is sometimes times informally called… what? The term is generally used to describe the act of creating a new project from an existing one, due to dissatisfaction with the original project's direction. I think it fits the pattern *forking, but I'm not positive.