• 0 Posts
  • 73 Comments
Joined 1 year ago
cake
Cake day: April 13th, 2024

help-circle


  • 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.












  • If you divide an inequality by a negative number you have to flip the sign.

    If you want to divide out the g before knowing if it’s positive or negative you need to make the case distinction.

    If you make the case distinction and one branch results in a false statement (5 < 2 in this case), you have disproven the original inequality, or at least discovered a constraint on the original inequality. Then you arrive back at FooBarrington’s statement that includes the constraint :-)