Fix editor after github rename