A small documentation PR on github

[Moritz Angermann]

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?

On Sat, 4 Jul 2020 at 2:18 AM, Ben Gamari <ben at smart-cactus.org> wrote:

> Alexander Kjeldaas <alexander.kjeldaas at gmail.com> writes:
>
> > Hi devs!
> >
> > I created a small documentation PR for the GHC FFI on github and noticed
> > that there's another one-liner PR from May 2019 that was not merged.
> >
> > https://github.com/ghc/ghc/pull/260
> > https://github.com/ghc/ghc/pull/255
> >
> > Just checking that simple PRs are still accepted on github.
> >
> An excellent point. In my mind the move to GitLab has addressed the
> principle reason why we started accepted small PRs on GitHub. My sense
> is that we should move these PRs to GitLab and formally stop accepting
> PRs via GitHub.
>
> If there is no objection I will do this in three days.
>
> Cheers,
>
> - Ben
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20200704/aa893a21/attachment.html>