I seem to have made the same thing that Padraig did during our meeting: when trying to merge dev into integrationMethod, the reverse happened (integMet merged into dev). Weird. Ankur had then rewound back 1 commit and forced a push - but https://github.com/NeuroML/org.neuroml.export/pull/54 was (wrongly) closed. What should we do to properly restore things to their intended state (dev without integrationMethod changes, PR to merge integrationMethod into dev still open? @pgleeson @sanjayankur31
I seem to have made the same thing that Padraig did during our meeting: when trying to merge dev into integrationMethod, the reverse happened (integMet merged into dev). Weird. Ankur had then rewound back 1 commit and forced a push - but https://github.com/NeuroML/org.neuroml.export/pull/54 was (wrongly) closed. What should we do to properly restore things to their intended state (dev without integrationMethod changes, PR to merge integrationMethod into dev still open? @pgleeson @sanjayankur31