I think merge queues are really useful, and could be particularly useful in this lab where merges and approvals all tend to pile up in confusing ways. So it might make sense to add a little about about merge queues (with links to more complete documentation) in the write-up for this lab.
The GitHub documentation page Managing a merge queue explains a lot of the key ideas, but not necessarily in the easiest to follow manner.
I think merge queues are really useful, and could be particularly useful in this lab where merges and approvals all tend to pile up in confusing ways. So it might make sense to add a little about about merge queues (with links to more complete documentation) in the write-up for this lab.
The GitHub documentation page Managing a merge queue explains a lot of the key ideas, but not necessarily in the easiest to follow manner.