change gitHub annotations

thanks to @f-schmitt-zih