Development

This MR adds a check in the lint stage to confirm that master/development branches are protected when running the pipeline, and if not, prints a relevant error message.