Pull requests per engineer appear to be up after AI-tool adoption · Digg