Fix actions/checkout comment pin (#1872)
Fix actions/checkout comment pin (#1872)

GitHub actions doesn't update matching "# pin ..." comments,
so update its comment.

Signed-off-by: David A. Wheeler <9ae72d22d8b894b865a7a496af4fab6320e6abb2@dwheeler.com>

Signed-off-by: David A. Wheeler <9ae72d22d8b894b865a7a496af4fab6320e6abb2@dwheeler.com>
coreinfrastructure/best-practices-badge,coreinfrastructure/best-practices-badge,coreinfrastructure/best-practices-badge,coreinfrastructure/best-practices-badge