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.angerm...@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 <b...@smart-cactus.org> wrote: > >> Alexander Kjeldaas <alexander.kjeld...@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@haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >> >
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
