Hi Andi I didn't close it, but I did just switch the branches around (see mail on dev@) which involved a force push to master. So maybe github closed the PR because its target branch was changed?
Perhaps you can resurrect it somehow? Thx Dan PS: you didn't raise a new PR for the OA stuff, did you? If so, maybe that was also auto-closed? On Thu, 13 Sep 2018 at 16:37, Andi Huber <[email protected]> wrote: > Hi Dan, what's up, why did you close this one? It's not filed against > 'master'! > > — > You are receiving this because you modified the open/close state. > Reply to this email directly, view it on GitHub > <https://github.com/apache/isis/pull/124#issuecomment-421051047>, or mute > the thread > <https://github.com/notifications/unsubscribe-auth/AA-9yZ36KzSx_ReIM6qcnDRfktJCMaWsks5uanuegaJpZM4Wmog7> > . > [ Full content available at: https://github.com/apache/isis/pull/124 ] This message was relayed via gitbox.apache.org for [email protected]
