bug#37139: Small eror on gnu.org page

[operator.name]

I hope this is the correct email. I've noticed a minor error on 
https://www.gnu.org/software/parted/ - it says:

git checkout https://git.savannah.gnu.org/git/parted.git

instead of:

git clone https://git.savannah.gnu.org/git/parted.git