body: Say a tool that does some sort of automatic code generation or modification, like a formatter or linter, is run as a service that automatically creates pull requests to projects on Github. Who owns the copyright of those changes? What license restrictions would it have? Could the tool creator say "all changes made by this tool from now until the end of time are my intellectual property" even though they weren't involved in making the individual changes? How might a more conscientious tool creator properly declare that their tool's contributions can be merged in without licensing and IP problems?
  
  
  
title: How should code produced by automated tools be licensed?