Since you're not writing anything after this, I would just write "Checking out mozilla.org repo" or similar