adding/removing users does not trigger a full sync with github