Shovelling a hole for repair