git: use 2 checkout workers

Created by  hdhoang  on October 17, 2023
JVF7AJUBDCIO6FR26QQV255VFES3RVXGMVWVHOQWS3DONULBGZKQC
Change contents