Git Reset, Revert, and Cherry-Pick: Tools for Efficient Branch Management