GitHub’s New CEO Response: No plans to integrate ads