Well, I don't know how to force Github to recognize SHA in my HISTORY file :'(