@Crocmagnon yes, I see, my suggestion is not going to help much in that case. (Or maybe just a little bit, if you have several different GitHub secrets you could at least get that down to a single one, used to unlock a bunch of secrets in your vault?)