A small documentation PR on github

[Ben Gamari]

Moritz Angermann <moritz.angermann at gmail.com> writes:

> The performance of GH is still better than GL. Reading the code on GH is
> faster and easier to navigate than GL. This might be an artifact of my
> location? The GL UI feels a lot more sluggish. Though GH is doing their
> part with service downtimes recently as well.
>
> Making a small change on GH to a file is almost comically trivial. Press
> Edit, make the change, commit and open the PR. All from within the browser
> in a few seconds. Wasn’t this this primary motivation for allowing
> documentation PRs on GH?
>
This same workflow works on GitLab. The decision to allow GitHub merge
requests was made when we were still using Phabricator, where this sort
of thing was significantly less convenient and required opening a
Phabricator account. 

Cheers,

- Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200705/d45289f6/attachment.sig>