Looking at the PR history, it's interesting how few PRs are being merged per year. Of the ones that are they are very short, and typically buxfixes or changes

Looking at the PR history, it's interesting how few PRs are being merged per year. Of the ones that are they are very short, and typically buxfixes or changes to infrastructure rather than any new features. I think I count 4 prs merged, with less than 20 lines of code altered, since 2022, and even going back until the beginning of the 2014 commit history, it's hard to find a PR that's altering core functionality. https://github.com/overleaf/overleaf/pulls?q=is%3Apr+is%3Amerged+ https://github.com/overleaf/overleaf/pulls?q=is%3Apr+is%3Ame... 2024 +1 -1 A user should be created and a mail with an activation URL should be sent. #1208 +6 -6 Fix 502 errors due to IPv6 #1175 +1 -1 Make the number of max entities per project configurable #1108 2023 +6 -0 added SIGKILL timeouts for docker and phusion_image #1090