Skip to content

Conversation

@github-actions
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.

2 participants