Disclaimer: IANAL.
No they haven’t. I don’t see a Spigot or CB jar, or, for that matter, Minecraft Server binaries anywhere. They made a tool that fetches the Spigot, CB and Bukkit code, along with a copy of the build tools that are needed to integrate them and create a local version of CB.
@LordLambda - not quite. If the non-GPL compliant code is stripped out, and thus the resulting base is fully GPL, he can’t DMCA, as it grants an irrevocable license when used in a valid situation. That’s why Glowstone can’t be DMCA’d, by your arguement, he could. By that logic, I could DMCA Spigot because I provided 4 lines to CraftBukkit one time.
The GPL is essentially a distribution license, but all Spigot are trying to do is distribute the GPL’d source code and patches + tools such that you can build the jar yourself. That is technically not distributing Spigot or CraftBukkit with the Minecraft Server - which is how the Spigot guys will argue they are in compliance. The idea is that all that is provided (that is, they stuff they distribute) is GPL compliant code to your computer, you fetch the server jar yourself (via the tool, but that’s irrelavant here), and then YOU combine the code. (FWIW, FML/Forge follows a similar tack, you only ever download Forge’s changes, and the installer fetches the already present on your computer minecraft jar, or downloads the server software from the Mojang site.) As long as you don’t distribute the result, then you aren’t breaking the GPL - it explcitly allows you to use your own code in private without having to distribute the result, and as it isn’t AGPL, as server software that users don’t download - just connect to.
That being said, the CB/Spigot patches technically contain small amounts of nms code in them. That in itself is possibly enough to violate the GPL - distributing Spigot like that could very well be risky. Don’t quote me on this though - distributing patches might be fine - but I’m wary of it. Don’t get me wrong, I like Spigot, I think it’s an interesting project with novel ideas on how to try to improve performance, and Bukkit should have a place in the modding community, but Bukkit is poison now unfortunately. I’m glad that there are serveral communities that have stepped up to the plate to try to find/create a replacement.
All I can say is that I hope that this doesn’t go to court and destroy the Minecraft community further. I doubt that was really Wolvereness’s intention, and as @disconsented has suggested, there will be more to this than meets the eye. Wolvereness might not have been the friendliest person in the world, but I seriously don’t think he’d DMCA a project he’d worked on for years to help the community just for laughs. He clearly cared for the community, so to those of you who just want to throw insults at him, shame on you.
In light of the unknowns, the best thing we can do is just move on from Bukkit, and support all the modding communities, including Sponge, who are trying their hardest to provide us with a worthy replacement.