Gas repair