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