3.2 The need for certain activities
3.2.14 Post-match repairs
To repair damage after a game, to maintain desired quality for as long as possible.
Repairing a pitch soon after a game helps it to recover that much quicker that waiting a long time, or not attempting any repairs at all.
Typically a garden or border fork, or a specialist divot fork would be used.