3 ms·

I'm not a lawyer so it's entirely possible I used the wrong term. Thank you for clarifying below. Using the terms as you explained them below, I meant that Mic

I'm not a lawyer so it's entirely possible I used the wrong term. Thank you for clarifying below. Using the terms as you explained them below, I meant that Microsoft/GitHub has permission to reproduce the code so why wouldn't that extend to copilot?

moralestapia 5y ago
Reproduction is enough to cover the first part of your use case. This is mentioned on Github's TOS. For the latter you would need redistribution as it is going into a different product, for which you claim ownership, and with possible modifications/adaptations (this would depend on the rights granted by the license). Nowhere on Github's TOS is the word or concept of redistribution referenced. So, the answer to your original question is "no". Edit: leereeves modified its comment after I wrote this, so it may not make much sense but you can figure out the point. Best!
- dahart 5y ago
  I’m not sure this is a completely fair take, I think the original question is legitimate and relevant. Github’s TOS does in fact ask the contributor to grant a license for GH to host and serve their code from GH servers. That is both reproduction and distribution as defined by copyright law, and copyright covers both of those at the same time https://www.copyright.gov/what-is-copyright/ https://www.copyright.gov/what-is-copyright/ (Edit and BTW GH calls out their ‘distribution’ in section D.4 of their TOS explicitly, but without using the word “distribute”. They say you grant them the right to “publish” and “share” code you upload, which means “distribute” under copyright law. They also imply that by spelling out the terms under which they do not “distribute”, which is anytime the content is used outside of GitHub’s services.) I don’t think you’re correct that the term “redistribution” means either going into another product, nor that it implies a claim of ownership. Putting works into another product is sometimes known as making a derivative work, while “redistributing” is quite commonly used to mean copy-and-distribute as-is. Redistribution can happen via license as well, it requires permission by the copyright owner, but does not imply the redistributor is (or is claiming to be) the copyright owner.
  - moralestapia 5y ago
    >I think the original question is legitimate and relevant You didn't see the original question, it was edited, so we cannot discuss that further. "[...] which means “distribute” under copyright law" <-- Citation needed please, because I don't think that's correct. From the site you linked: "Distribute copies or phonorecords of the work to the public by sale or other transfer of ownership or by rental, lease, or lending." What I seem to grasp about the difference between reproducing and redistributing is that it has to do with the concept of "transfer of ownership". Also derivate work and redistribution are not mutually exclusive. The moment you create a new thing and start distributing it (even if you do not modify it), you become the de facto owner of that new product, and copyright law is trying to limit the extent of the rights that apply there. So, in the case of music, it's different thing to play (reproduce) a song than to create a new album with your favorite artists that happens to include that particular song (redistribution).
    - deleted 5y ago
      [deleted]
    - dahart 5y ago
      > "Distribute copies or phonorecords of the work to the public by sale or other transfer of ownership or by rental, lease, or lending." > What I seem to grasp about the difference between reproducing and redistributing is that it has to do with the concept of "transfer of ownership". Also derivate work and redistribution are not mutually exclusive. What you've misunderstood is it is the copies that are sold, not the copyrights. * edit > create a new album with your favorite artists that happens to include that particular song (redistribution). This is not what redistribution means. You seem confused about this word.
      - moralestapia 5y ago
        >What you've misunderstood is it is the copies that are sold, not the copyrights. Sorry, I'm not following you anymore. I don't even know what you mean by that sentence. Edit: >This is not what redistribution means. You seem confused about this word. But, that's exactly what redistribution entails ...
blooalien 5y ago
Are they displaying the license under which said code is licensed when they display a chunk of licensed code? If not, then they're violating the terms of most licenses (except pure public domain, or other similar licenses which don't have any such requirements attached). The use of licensed code in other projects must be done under the terms of that license or you aren't legally (under copyright law) allowed to use the code.
- leereeves 5y ago
  As I said, I'm not a lawyer, but I believe they're displaying it under the terms of the GitHub ToS, using rights granted to them when the project is uploaded to GitHub, not under the terms of the license the project uses for everyone else.
- dahart 5y ago
  > Are they displaying the license under which said code is licensed when they display a chunk of licensed code? If not, then they’re violating the terms The GitHub TOS is a license that is separate from the license in the code. It is legal and common for an author to license the same code multiple ways (and the licenses do not have to agree with each other). By agreeing to GitHub’s TOS and uploading code to GH servers, people are licensing GH to display the code, because the license agreement says so explicitly. This could be problematic if someone uploads code they don’t have the rights to upload, but then the violation is the uploader’s, and not GitHub’s. Additionally, GH has a provision for already licensed code in section D.6: “6. Contributions Under Repository License “Whenever you add Content to a repository containing notice of a license, you license that Content under the same terms, and you agree that you have the right to license that Content under those terms. If you have a separate agreement to license that Content under different terms, such as a contributor license agreement, that agreement will supersede. “Isn't this just how it works already? Yep. This is widely accepted as the norm in the open-source community; it's commonly referred to by the shorthand "inbound=outbound". We're just making it explicit.” https://docs.github.com/en/github/site-policy/github-terms-of-service#6-contributions-under-repository-license https://docs.github.com/en/github/site-policy/github-terms-o...

moralestapia 5y ago

Reproduction is enough to cover the first part of your use case. This is mentioned on Github's TOS. For the latter you would need redistribution as it is going into a different product, for which you claim ownership, and with possible modifications/adaptations (this would depend on the rights granted by the license). Nowhere on Github's TOS is the word or concept of redistribution referenced. So, the answer to your original question is "no". Edit: leereeves modified its comment after I wrote this, so it may not make much sense but you can figure out the point. Best!

dahart 5y ago
I’m not sure this is a completely fair take, I think the original question is legitimate and relevant. Github’s TOS does in fact ask the contributor to grant a license for GH to host and serve their code from GH servers. That is both reproduction and distribution as defined by copyright law, and copyright covers both of those at the same time https://www.copyright.gov/what-is-copyright/ https://www.copyright.gov/what-is-copyright/ (Edit and BTW GH calls out their ‘distribution’ in section D.4 of their TOS explicitly, but without using the word “distribute”. They say you grant them the right to “publish” and “share” code you upload, which means “distribute” under copyright law. They also imply that by spelling out the terms under which they do not “distribute”, which is anytime the content is used outside of GitHub’s services.) I don’t think you’re correct that the term “redistribution” means either going into another product, nor that it implies a claim of ownership. Putting works into another product is sometimes known as making a derivative work, while “redistributing” is quite commonly used to mean copy-and-distribute as-is. Redistribution can happen via license as well, it requires permission by the copyright owner, but does not imply the redistributor is (or is claiming to be) the copyright owner.
- moralestapia 5y ago
  >I think the original question is legitimate and relevant You didn't see the original question, it was edited, so we cannot discuss that further. "[...] which means “distribute” under copyright law" <-- Citation needed please, because I don't think that's correct. From the site you linked: "Distribute copies or phonorecords of the work to the public by sale or other transfer of ownership or by rental, lease, or lending." What I seem to grasp about the difference between reproducing and redistributing is that it has to do with the concept of "transfer of ownership". Also derivate work and redistribution are not mutually exclusive. The moment you create a new thing and start distributing it (even if you do not modify it), you become the de facto owner of that new product, and copyright law is trying to limit the extent of the rights that apply there. So, in the case of music, it's different thing to play (reproduce) a song than to create a new album with your favorite artists that happens to include that particular song (redistribution).
  - deleted 5y ago
    [deleted]
  - dahart 5y ago
    > "Distribute copies or phonorecords of the work to the public by sale or other transfer of ownership or by rental, lease, or lending." > What I seem to grasp about the difference between reproducing and redistributing is that it has to do with the concept of "transfer of ownership". Also derivate work and redistribution are not mutually exclusive. What you've misunderstood is it is the copies that are sold, not the copyrights. * edit > create a new album with your favorite artists that happens to include that particular song (redistribution). This is not what redistribution means. You seem confused about this word.
    - moralestapia 5y ago
      >What you've misunderstood is it is the copies that are sold, not the copyrights. Sorry, I'm not following you anymore. I don't even know what you mean by that sentence. Edit: >This is not what redistribution means. You seem confused about this word. But, that's exactly what redistribution entails ...

blooalien 5y ago

Are they displaying the license under which said code is licensed when they display a chunk of licensed code? If not, then they're violating the terms of most licenses (except pure public domain, or other similar licenses which don't have any such requirements attached). The use of licensed code in other projects must be done under the terms of that license or you aren't legally (under copyright law) allowed to use the code.

leereeves 5y ago
As I said, I'm not a lawyer, but I believe they're displaying it under the terms of the GitHub ToS, using rights granted to them when the project is uploaded to GitHub, not under the terms of the license the project uses for everyone else.
dahart 5y ago
> Are they displaying the license under which said code is licensed when they display a chunk of licensed code? If not, then they’re violating the terms The GitHub TOS is a license that is separate from the license in the code. It is legal and common for an author to license the same code multiple ways (and the licenses do not have to agree with each other). By agreeing to GitHub’s TOS and uploading code to GH servers, people are licensing GH to display the code, because the license agreement says so explicitly. This could be problematic if someone uploads code they don’t have the rights to upload, but then the violation is the uploader’s, and not GitHub’s. Additionally, GH has a provision for already licensed code in section D.6: “6. Contributions Under Repository License “Whenever you add Content to a repository containing notice of a license, you license that Content under the same terms, and you agree that you have the right to license that Content under those terms. If you have a separate agreement to license that Content under different terms, such as a contributor license agreement, that agreement will supersede. “Isn't this just how it works already? Yep. This is widely accepted as the norm in the open-source community; it's commonly referred to by the shorthand "inbound=outbound". We're just making it explicit.” https://docs.github.com/en/github/site-policy/github-terms-of-service#6-contributions-under-repository-license https://docs.github.com/en/github/site-policy/github-terms-o...