+ git checkout -f 0b6b90fa07b4b9277f7229fda3285a8947faa633 HEAD is now at 0b6b90fa switch to maintenance/v1.25 for stable