Who Needs Wikis When You Have Github?