Skip to content

fix: Make username lookups in org-data.json case-insensitive #136

fix: Make username lookups in org-data.json case-insensitive

fix: Make username lookups in org-data.json case-insensitive #136

Workflow file for this run

---
name: Lint Code Base
on:
pull_request:
branches: [main]
permissions:
contents: read
jobs:
lint:
name: Lint Code Base
runs-on: ubuntu-latest
permissions:
contents: read
packages: read
statuses: write
steps:
- name: Checkout Code
uses: actions/checkout@v5.0.0
with:
# Full git history is needed to get a proper
# list of changed files within `super-linter`
fetch-depth: 0
persist-credentials: false
- uses: actions/setup-python@v6.0.0
with:
python-version: "3.12"
- name: Install dependencies
run: |
pip install -r requirements.txt -r requirements-test.txt
- name: Lint Code Base
uses: super-linter/super-linter@ffde3b2b33b745cb612d787f669ef9442b1339a6 # v8.1.0
env:
DEFAULT_BRANCH: main
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
GITHUB_ACTIONS_COMMAND_ARGS: -shellcheck=
VALIDATE_MARKDOWN_PRETTIER: false