According to the company, by enabling merge queue, the need to hurry and merge pull requests before others do is no longer a concern. This feature is now generally available and is accessible to ...

IntelliJ IDEA 2020.2 adds a number of new features, including the ability to review and merge GitHub pull requests, navigate between warnings and errors in a file using the Inspections widget ...