💡 Summary
In #148 we disabled GitHub permissions monitoring because this functionality is poorly implemented and has been causing GitHub actions workflows to fail or hang due to the MITM implementation hogging or leaking memory. This functionality should be re-enabled when this becomes practical.
Motivation and context
It is useful to monitor GitHub permissions so ensure that we allow only the minimal required permissions. Once we can do so without unnecessary workflow failures we should.
💡 Summary
In #148 we disabled GitHub permissions monitoring because this functionality is poorly implemented and has been causing GitHub actions workflows to fail or hang due to the MITM implementation hogging or leaking memory. This functionality should be re-enabled when this becomes practical.
Motivation and context
It is useful to monitor GitHub permissions so ensure that we allow only the minimal required permissions. Once we can do so without unnecessary workflow failures we should.