Set git user name and email to plactate git on CI

Somewhat obvisouly, these values aren't set on a CI machine, so git
rejects the subsequent attempts to commit into our dummy repo.

Change-Id: Ic533ea84ef7fb17efecc950f1e9f40ab700a888d