Fix part of #3926: Add support for GitHub merge queues plus a bunch of other CI improvements#6150

BenHenning merged 8 commits intodevelopoppia/oppia-android:developfrom

add-merge-queue-support-and-other-ci-improvementsoppia/oppia-android:add-merge-queue-support-and-other-ci-improvementsCopy head branch name to clipboard