About the name for the system: On Fri, 1 May 2020, [email protected] wrote:
...
That's the problem - I can't recover the "poplog" account and it can't be re-used.
If Github is properly designed there should be a way to communicate with an administrator to get this fixed (e.g. by completely removing the inaccessible account) ???
Perhaps "FreePoplog" to match http://www.cs.bham.ac.uk/research/projects/poplog/freepoplog.html ?
That's fine with with me. The 'free' bit contrasts with the Poplog system previously sold by Sussex University and ISL.
Once we have something up we can use the github issues system to collaborate on what should happen next.
Sounds good -- if anyone has time to think about this while coping with consequences of COVID-19. I hope all's well with members of this list. Aaron http://www.cs.bham.ac.uk/~axs
