A short list of resources for a session on GitHub's (possible) place in OER development and dissemination