Re: Marge Bot repeatedly failing due to stat decreases

Thanks Ben! For future reference, is there anything that we as ordinary GHC developers can do to help Marge along when she gets stuck on stat changes? You mentioned that you amended a Marge batch to accept the changes before. Are there instructions on how to do this properly? For instance, which commit(s) in a batch should be amended? Is it better to amend the branch that Marge works on directly, or to update the original MR? Ryan S.