Implement complete MobileOps platform with core scripts, comprehensive documentation, copilot agent testing, GitHub Copilot instructions with strict branch policy, and Android APK automation system #43

	---
	# https://github.com/redhat-plumbers-in-action/differential-shellcheck#readme

	name: Differential ShellCheck
	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main

	permissions:
	contents: read

	jobs:
	lint:
	if: github.event.repository.name != 'systemd-security'
	runs-on: ubuntu-24.04

	permissions:
	security-events: write

	steps:
	- name: Repository checkout
	uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
	with:
	fetch-depth: 0

	- name: Differential ShellCheck
	uses: redhat-plumbers-in-action/differential-shellcheck@dd551ce780d8af741f8cd8bab6982667b906b457
	with:
	# exclude all `.in` files because they may contain unsupported syntax, and they have to be preprocessed first
	# TEMPORARY: exclude bash completion files, they would generate too many defects in Code scanning dashboard (600+)
	# exclude zsh completion files, zsh is not supported by ShellCheck
	exclude-path: \|
	'*/.in'
	'shell-completion/bash/*'
	'shell-completion/zsh/*'
	token: ${{ secrets.GITHUB_TOKEN }}

Navigation Menu