Boot menu: say it is Secure Boot when the kernel will not load (#53) #85

	# Ci sono credenziali nel repository?
	#
	# Il 16 agosto 2026 la password di root del container e' finita in
	# scripts/sincronizza-ghpages.py e ci e' rimasta quattro giorni, su un
	# repository pubblico. Nessuno se n'e' accorto: CodeQL cerca difetti nel
	# codice, e il rilevamento automatico di GitHub riconosce i FORMATI noti dei
	# token (ghp_, chiavi AWS) — una password qualunque no.
	#
	# Questo gira dopo il push, quindi non impedisce la fuga: la segnala forte.
	# Cio' che la impedisce e' l'hook pre-push, che pero' va installato a mano su
	# ogni copia. I due si coprono a vicenda.
	name: Credentials — is anything exposed?

	on:
	push:
	branches: [main]
	pull_request:
	workflow_dispatch:

	permissions:
	contents: read

	jobs:
	scan:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v7
	with:
	fetch-depth: 0
	- name: Look for the shape of a credential
	run: bash scripts/controlla-segreti.sh

Navigation Menu