That was my first instinct, but thinking about it just a little it doesn't seem crazy, esp for GitHub. How many folders do you have on your computer with some

That was my first instinct, but thinking about it just a little it doesn't seem crazy, esp for GitHub. How many folders do you have on your computer with some bits of code? It's probably not a terrible practice to add those folders to GitHub. Across a big engineering company that can easily add up to way more than 3,800!