Closed hakonhagland closed 6 months ago
@hakonhagland: If you are done moving https://github.com/OPM/opm-reference-manual/pull/148 to here, then I'll merge this PR.
Yes I think you can merge it now
For some reason GitHub seems to have forgot about the opm-reference-manual remote, so I needed to refork it
Strange. I only made the repository public this morning.
Indeed all forks are gone. I am 100% sure that I had one.
For some reason GitHub seems to have forgot about the opm-reference-manual remote, so I needed to refork it, but then it also lost all branch info. That is why I am resubmitting #148 here.