Ciao Sam, ho provato a fare un “bump” a una PR (qui) e sembra che i “bump” non funzionino allo stesso modo su GitHub come funzionano qui (non viene spostata in cima alla lista).
Mi sposterò nella categoria Dev in futuro. Potrebbe essere utile menzionare esplicitamente quella categoria nell’OP (prima o dopo il punto #10) 