Skip to content

tools: use find-inactive-collaborators to edit README and open pull request #39825

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
Trott wants to merge 2 commits into from
Closed

tools: use find-inactive-collaborators to edit README and open pull request #39825

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
972116d
tools: use find-inactive-collaborators to modify README.md
Trott Aug 21, 2021
4aea3c9
tools: update workflow to open a pull request
Trott Aug 21, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
tools: update workflow to open a pull request 
Now that find-inactive-collaborators.mjs automates the README.md changes
to move the inactive collaborators to the emeriti section, update the
GitHub Actions workflow to open a pull request.
  • Loading branch information
@Trott
Trott committed Aug 24, 2021
commit 4aea3c9a8c1b2fd4e421ca149b0261cb1321a2c3
11 changes: 11 additions & 0 deletions .github/workflows/find-inactive-collaborators.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,3 +28,14 @@ jobs:

- name: Find inactive collaborators
run: tools/find-inactive-collaborators.mjs ${{ env.NUM_COMMITS }}

- name: Open pull request
uses: gr2m/create-or-update-pull-request-action@v1
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
author: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
body: This PR was generated by tools/find-inactive-collaborators.yml.
commit-message: "meta: move one or more collaborators to emeritus"
labels: meta
title: "meta: move one or more collaborators to emeritus"