Skip to content

ref: Add external contributor to CHANGELOG.md #12435

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.

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

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jun 10, 2024

This PR adds the external contributor to the CHANGELOG.md file, so that they are credited for their contribution.

@github-actions github-actions bot force-pushed the external-contributor/patch-mydea branch from e3ce750 to ea4dfe6 Compare June 10, 2024 13:10
@mydea mydea force-pushed the external-contributor/patch-mydea branch from 5de2431 to ea4dfe6 Compare June 10, 2024 13:14
@github-actions github-actions bot force-pushed the external-contributor/patch-mydea branch from ea4dfe6 to a03a348 Compare June 10, 2024 13:23
This reverts commit a699de7.
@mydea mydea force-pushed the fn/add-external-contributor branch from a699de7 to 150f9de Compare June 10, 2024 13:27
@github-actions github-actions bot force-pushed the external-contributor/patch-mydea branch from a03a348 to 2a055a2 Compare June 10, 2024 13:34
@github-actions github-actions bot force-pushed the external-contributor/patch-mydea branch from 2a055a2 to 7e00657 Compare June 10, 2024 13:47
@mydea mydea force-pushed the fn/add-external-contributor branch from 666087e to 7f4a720 Compare June 10, 2024 13:57
@mydea mydea closed this Jun 10, 2024
@mydea mydea deleted the external-contributor/patch-mydea branch June 10, 2024 14:11
mydea added a commit that referenced this pull request Jun 13, 2024
…LOG.md (#12428)

This adds a new GHA job that, if a PR is created by an external
contributor, it will open a PR against that branch that adds the
contributor to the changelog, so we do not forget about this.

It will open a PR like this:

#12435

which we have to manually merge/review, so nothing "bad" can happen.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant