bug#37139: Small eror on gnu.org page

"operator.name" via Bug reports for the GNU Parted disk partition editor <[email protected]> Thu, 22 Aug 2019 01:28:58 +0000

Newsgroups	gmane.comp.gnu.parted.bugs
Message-ID	<DB31hzYdefWuIM-3o2Fmfyl82CAov9j6U1aciz2Xjp6ub823-jtGTJ8Y_fQzEVYgZ80t_LTco45BPP4oqgF52Z4LMTns2hO8KPdM4yG1VZ0=@protonmail.com>

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