Github merge branch into master. Github action boolean input.

Gis paghe ranocchi manuale pdf. Github default branch.