Developer Proposes Read Receipts for GitHub Pull Requests · Digg