Hi,
Just to keep the mailing list informed. This has been solved. Please push again.
Nitesh
> On May 18, 2020, at 11:20 AM, Jakob Theorell
> wrote:
>
> Dear all,
> I guess this is related to some to me unknown failure on my side to avoid
> merge conflicts, but I now get the above error when
Dear all,
I guess this is related to some to me unknown failure on my side to avoid merge
conflicts, but I now get the above error when I try to push upstream. I started
by pulling upstream changes, had no obvious conflicts, and when pushing I still
got this. Puzzled. Have tried to look it up,
