On Thu, 30 Apr 2020 at 23:31, Aaron Sloman <[email protected]> wrote:
> Thanks Ian, > > > It would be great if we could move everything to github - even a plain > copy > > in its current state - as the git tools would make collaboration much > > easier. > > I would have no objection to a 'complete' version of poplog based > (initially) on what I currently have in Birmingham then rationalised. > > That would require working out how this should relate to Waldek's site. > > Agreed. Waldeck - are you around? :-) > The 'current state' of a usable system with the Birmingham addons requires > some messy unpacking and repacking of the version on Waldek's github site. > > > I originally made the https://github.com/poplog "organisation" account, > but > > I did it under such an old email address that I simply don't have access > to > > it any more (even github has killed that user). But we/I can make > another > > (and maybe reclaim the old when we have some traction). > > > > So, to begin with, we have to tackle one of the 2 hardest things in > > computing: what name to give it? :-) Perhaps openpoplog (though it > always > > was)? Any other suggestions? > > Or just poplog? > That's the problem - I can't recover the "poplog" account and it can't be re-used. Perhaps "FreePoplog" to match http://www.cs.bham.ac.uk/research/projects/poplog/freepoplog.html ? Once we have something up we can use the github issues system to collaborate on what should happen next. Ian
