Several enhancements have been made to GitHub, encompassing functionalities such as linking issues to pull requests and the integration of the Story Points feature. These improvements are designed to benefit a wide range of GitHub users, catering to the needs of both the general GitHub community and the Android Product Team (APT) at Mozilla.
