• daddy32@lemmy.world
    link
    fedilink
    English
    arrow-up
    3
    ·
    3 days ago

    Good question. Commits are easy - they are part of git core functionalities so are included in every copy of the repository (for example developers’ local copies) but github specific contents like comments, issues, PRs…?

    • vermaterc@lemmy.ml
      link
      fedilink
      English
      arrow-up
      2
      ·
      3 days ago

      This should also be part of git repo (but maybe not downloaded through typical git clone as it might be too large though). Has developers of git ever considered doing this?

      • Kazumara@discuss.tchncs.de
        link
        fedilink
        English
        arrow-up
        5
        ·
        3 days ago

        The original developer of Git is Linus Torvalds and he wrote it for the use of developing Linux. He handed off the project to Junio Hamano after a short while who still leads it. They use a process where you submit patches by mail, for Linux and for Git itself too.

        To make this easier they have the commands git format-patch, git send-email and git applymbox later changed to git am to apply them. They also added git request-pull to generate a short plaintext email like message to request a pull.

        The Pull Request as a bigger concept of data and discussion that should be kept around came from GitHub and was put over top of Git. The concept has been rebuilt by various competitors separately. But it doesn’t match the Linux and Git development model so they never used GitHub Pull Request, even though there is a GitHub mirror of Linux and a GitHub mirror of Git. For them the discussions happens in the mailing list.

        So it’s very unlikely they would start including the stuff that was added by others over top, that they don’t need.