Fetching github information keeps failing #40
Description
See this recent reindex run and this one from Dec 8th, it seems like there's a bug in how we're accessing the github API. Not sure whether the github folder is ever actually used, but we should look into it.