update WMI for Elastic 8.16 #4

	name: Update Contributors

	on:
	pull_request:
	types: [closed] # Trigger when a PR is closed

	jobs:
	update-contributors:
	if: github.event.pull_request.merged == true # Run only if the PR is merged
	runs-on: ubuntu-latest

	steps:
	# Checkout the repository
	- name: Checkout repository
	uses: actions/checkout@v3

	# Set up Python
	- name: Set up Python
	uses: actions/setup-python@v4
	with:
	python-version: '3.x'

	# Install dependencies
	- name: Install Python requests library
	run: python -m pip install requests

	# Run the script to fetch contributors and update README
	- name: Fetch contributors and update README
	run: \|
	python Tools/fetch_contributors.py

	# Commit and push changes
	- name: Commit and push changes
	env:
	GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	run: \|
	git config user.name "github-actions[bot]"
	git config user.email "github-actions[bot]@users.noreply.github.com"
	git add README.md
	git commit -m "Update contributors list after PR merge"
	git push

Provide feedback