trivial modification to see if github is set up properly