Thanks, I think I've got it now.On 8/20/21 6:30 PM, Jason Gunthorpe wrote:> git reset --hard origin/next