Added /gitrevert

So we can copy files from Github easily and restore things if bad things
happen.