3 ms·

Yes, everything is a mirror with git. Look at his public activity [1]: comments, pull requests, issues… he is using GitHub, for real. [1] https://github.com/t

• LeafStorm 15y ago
  He is using comments, pull requests, and issues to develop diveclog, a relatively minor pet project, not Linux. As I said: Linux has its own infrastructure, and were Linus seriously considering a move to Github, there would be some announcement on a mailing list. Which, this makes me wonder what will happen when someone forks "linux" and sends Linus a pull request. ;-)
  • bpierre 15y ago
    We will soon have an answer, for sure! :-)
    • nolok 15y ago
      You already have it, at this time and in the foreseeable future the main linux repository is not hosted on github, only a mirror like gazillions others. For sure :-)
      • ellyagg 15y ago
        Reread the comment you responded to: It was not suggesting this is the new official Linux repo, as that was already addressed in grandparent's comment. The question under discussion was what linus would do with a pull request on github, so your smiling correction was unnecessary. For sure. :)
        • timf 15y ago
          "Is there some way to just turn off github pull requests? They're all jokes." - https://github.com/torvalds/linux/pull/7#issuecomment-2005630 https://github.com/torvalds/linux/pull/7#issuecomment-200563...
• x0t 15y ago
  Won't mirroring a project show up in your public timeline? I'm mirroring Rainbows! (https://github.com/nilmethod/rainbows https://github.com/nilmethod/rainbows) and bits of it show up in my timeline when my mirror script fires off.