Manual resolution needed for multimir/*_pair_1 #481

	name: Handle resolved conflict

	on:
	issues:
	types: [closed]
	workflow_dispatch:

	permissions:
	contents: write

	jobs:
	extract-decision:
	runs-on: ubuntu-latest
	if: contains(join(github.event.issue.labels.*.name, ','), 'conflict')
	outputs:
	decision: ${{ steps.set-output.outputs.decision }}
	steps:
	- name: Checkout repository
	uses: actions/checkout@v3
	with:
	fetch-depth: 0

	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: '3.10'

	- name: Extract decision
	id: set-output
	run: \|
	pip install requests
	pip install bson
	PYTHONPATH=$(pwd) python human_annotations/scripts/extract_decision.py "${{ github.repository }}" "${{ github.event.issue.number }}"
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

	- name: Commit and push updated log
	run: \|
	git config user.name "github-actions"
	git config user.email "github-actions@github.com"
	git add human_annotations/human_conflicts_log.jsonl
	git commit -m "Update human_conflicts_log.json"
	git push
	env:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

Navigation Menu