You shouldn't need to repair a face mask as they are only truly effective if used once and then binned. ** I feel once could be stretched to a full day but certainly not used the following day.
Therefore one should always have more a spare.
Obviously if a mask is washed after use this doesn't apply. We have six each, usually a couple in the wash, one in use and three waiting to be used.