Git GUIs are a crutch, perhaps that's what your pupil needs right now, but not forever.

Windows novices may not realise that git can be a local program contained in a folder, so making a repo to test how a verb works costs you nothing.