At GitHub, our mission is to increase developer happiness because we believe that if developers are not happy—if they’re grumpy, frustrated, or bogged down by the system—they’re not going to be creative. Developing is a creative job. Building things is the fun part of development;...