Marge bot UX improvement suggestion
lonetiger at gmail.com
Fri Apr 26 09:41:05 UTC 2019
Speaking of bots.. What's a Moe bot? Haha.
Sent from my Mobile
On Thu, Apr 25, 2019, 16:06 Ben Gamari <ben at smart-cactus.org> wrote:
> Ömer Sinan Ağacan <omeragacan at gmail.com> writes:
> > I think it'd be useful if Marge listed commits that it's trying to merge
> in the
> > description of the MR so that we could get a list of commits in the
> > Currently the emails just say "Marge Bot Barch MR - DO NOT TOUCH" with
> an empty
> > body.
> I'm generally reluctant to invest any more effort into Marge. She's in
> general barely holding together and hopefully within a month we'll be
> able to move to GitLab's native merge train solution.
> - Ben
> ghc-devs mailing list
> ghc-devs at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ghc-devs