Document github oauth has to be set, fixes #413