Have you ever need do a merge from master on your PR in GitHub? Well that workflow is crap because the UI and editor is atrocious. So I welcome any competition to move GitHub to improve that experience.