Pull Request Descriptions should not be Optional
Pull Request descriptions are documentation too. In fact, they may be one of the more efficient types...
Tags: writing, github, productivity, documentation