undo prev commit: use github-buttons instead