Hey Sam, I actually tried bumping a PR (here) and it looks like bumps don’t work the same way on GitHub as they do here (it does not get bumped to the top of the list).
I’ll hop on over to the Dev category in the future. It might be good to explicitly mention that category in OP (either in or before step #10) 