Glossary: Git Beyond the Basics

merge queue

A GitHub feature that merges approved pull requests one at a time.