Olá Sam, na verdade tentei fazer um bump em um PR (aqui) e parece que os bumps não funcionam da mesma forma no GitHub como funcionam aqui (ele não sobe para o topo da lista).
Eu irei para a categoria Dev no futuro. Pode ser bom mencionar explicitamente essa categoria no OP (antes ou depois do passo nº 10) 