WEBCAST DEC 15: MANRS Workshop: Github Management for Network Engineers