8 Jun
2020
8 Jun
'20
10:48 p.m.
Ryan Scott <ryan.gl.scott@gmail.com> writes:
Something strange is still going on, since Marge now just opened an empty merge batch [1].
Indeed; it seems that she was confused by the fact that the merged MRs weren't yet closed. Fixed and restarted. Cheers, - Ben