github: fix hash