Stealing a few more GitHub Actions secrets

https://blog.teddykatz.com/2022/02/23/ghosts-of-branches-past.html

https://github.com/not-an-aardvark/lucky-commit

…