Merge branch 'master' into features/julian

This commit is contained in:
Julian Perez Ramirez 2024-11-06 15:22:19 +01:00
commit 20bd245e38
2 changed files with 20 additions and 4 deletions

View File

@ -16,7 +16,7 @@ repos:
- id: auto-walrus
- repo: https://github.com/astral-sh/ruff-pre-commit
rev: v0.7.0
rev: v0.7.2
hooks:
- id: ruff
- id: ruff-format
@ -29,7 +29,7 @@ repos:
- tomli
- repo: https://github.com/tox-dev/pyproject-fmt
rev: "2.4.3"
rev: "v2.5.0"
hooks:
- id: pyproject-fmt
@ -42,12 +42,12 @@ repos:
pass_filenames: false
- repo: https://github.com/abravalheri/validate-pyproject
rev: v0.21
rev: v0.22
hooks:
- id: validate-pyproject
- repo: https://github.com/pre-commit/mirrors-mypy
rev: v1.12.1
rev: v1.13.0
hooks:
- id: mypy
args:

16
scripts/find_git_conflicts.sh Executable file
View File

@ -0,0 +1,16 @@
#!/bin/bash
# Replace with your repository (format: owner/repo)
REPO="TheAlgorithms/Python"
# Fetch open pull requests with conflicts into a variable
echo "Checking for pull requests with conflicts in $REPO..."
prs=$(gh pr list --repo "$REPO" --state open --json number,title,mergeable --jq '.[] | select(.mergeable == "CONFLICTING") | {number, title}' --limit 500)
# Process each conflicting PR
echo "$prs" | jq -c '.[]' | while read -r pr; do
PR_NUMBER=$(echo "$pr" | jq -r '.number')
PR_TITLE=$(echo "$pr" | jq -r '.title')
echo "PR #$PR_NUMBER - $PR_TITLE has conflicts."
done