Participants were Paul Hobson and myself. We discussed and merged one PR, at which point github went down, so we ended the meeting. (The github outage turned out to be brief.) Eric