Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
doc: Add separate productivity notes document #15348
Concept ACK, though sometimes I wonder if a wiki wouldn't be a better place for things like this. It's not that easy to maintain documentation in the repository as it has to go through the same review bottleneck as everything else (especially considering a lot of this concerns third-party tools and not our own).
But despite that, thanks for writing this!