A small documentation PR on github

[Alexander Kjeldaas]

Wrt my change, I've made a merge request on Gitlab.  Absolutely no problems
using that tool.

Alexander

On Sat, Jul 4, 2020 at 2:28 AM Moritz Angermann <moritz.angermann at gmail.com>
wrote:

> 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/aad10b86/attachment.html>