I'm not a developer so might not be aware of nuances, but wasn't the code under a gpl license and therefor clearly permitted to be published?