Github PR Manager (Improved Pull Request Functionality)