Inform github users of name change.