nice tip! I’ve been using git for years and I didn’t know that one