minor in github plugin