GitHub, Technical Debt, Code Formatting, and More