This is good advice that I've seen applied effectively many times, with one big difference: don't ask your boss, ask your team. Especially when it involves Gith

This is good advice that I've seen applied effectively many times, with one big difference: don't ask your boss, ask your team. Especially when it involves Github actions that will effect the way the team works. Chances are it impacts developers more than your boss, and they're likely to know more about it. Depending on circumstances also include your boss of course, or maybe they're already part of the team. But it can't hurt to cast a wider net asking for objections.