Paco Vila

Paco Vila at

I don't think history is messed up. Did your fix merge onto master branch? Only in that case, it is advisable to revert the failed commit, then commit the working fix. Otherwise, unmerged branches are mostly ignored (i.e. not visible in master log.) But I am not a github user.