chore(deps): bump browsergym from 0.10.2 to 0.13.3 in the browsergym group across 1 directory #146

	name: Lint Fix

	on:
	pull_request:
	types: [labeled]

	jobs:
	lint-fix:
	if: github.event.label.name == 'lint-fix'
	name: Fix linting issues
	runs-on: ubuntu-latest
	permissions:
	contents: write
	pull-requests: write
	steps:
	- uses: actions/checkout@v4
	with:
	ref: ${{ github.head_ref }}
	repository: ${{ github.event.pull_request.head.repo.full_name }}
	fetch-depth: 0
	token: ${{ secrets.GITHUB_TOKEN }}

	# Frontend lint fixes
	- name: Install Node.js 20
	uses: actions/setup-node@v4
	with:
	node-version: 20
	- name: Install frontend dependencies
	run: \|
	cd frontend
	npm install --frozen-lockfile
	- name: Fix frontend lint issues
	run: \|
	cd frontend
	npm run lint:fix

	# Python lint fixes
	- name: Set up python
	uses: actions/setup-python@v5
	with:
	python-version: 3.12
	cache: 'pip'
	- name: Install pre-commit
	run: pip install pre-commit==3.7.0
	- name: Fix python lint issues
	run: \|
	# Run all pre-commit hooks and continue even if they modify files (exit code 1)
	pre-commit run --config ./dev_config/python/.pre-commit-config.yaml --files openhands/*/ evaluation/*/ tests/*/ \|\| true

	# Commit and push changes if any
	- name: Check for changes
	id: git-check
	run: \|
	git diff --quiet \|\| echo "changes=true" >> $GITHUB_OUTPUT
	- name: Commit and push if there are changes
	if: steps.git-check.outputs.changes == 'true'
	run: \|
	git config --local user.email "[email protected]"
	git config --local user.name "OpenHands Bot"
	git add -A
	git commit -m "🤖 Auto-fix linting issues"
	git push

Provide feedback