Gas pipeline operation