The slow response time on hithub is most likely due to layoffs