fix GitHub exclusion issue