Update for the new GitHub API for hall of fame.
Add hall of fame for July and August 2013.