Post-push fix. The previous patch did 'reset master' at the wrong place.
Attach a file by drag & drop or click to upload