How should I fix this (I'm a newbie on Github)? Is it ok, if I remove this commit and do push -f? Or should I add another commit which undoes this thing?