I will receive <10 pull requests for the GitHub repo for gwern.net.

Created by gwern on 2011-12-27; known on 2012-01-27; judged right by gwern on 2012-01-27.

• gwern estimated 65% on 2011-12-27
• gwern said “possibly there are programmers etc who would contribute if only it were on their favorite site, github. otherwise I’d be more confident” on 2011-12-27
• gwern said “0 pull requests, marking right” on 2012-01-27
• gwern   judged this prediction right on 2012-01-27.