Replace references to CVS server with GitHub