Skip to content
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

[CI Environment] Use GITHUB_TOKEN for manage issue platform pipeline #2696

Merged
merged 25 commits into from
Mar 7, 2023

Conversation

eriqua
Copy link
Contributor

@eriqua eriqua commented Feb 13, 2023

Description

Use GITHUB_TOKEN for manage issue platform pipeline

Ref: https://docs.github.com/en/actions/security-guides/automatic-token-authentication
Restricted token permissions https://docs.github.com/en/actions/using-jobs/assigning-permissions-to-jobs

Closes #2695

Pipeline references

For module/pipeline changes, please create and attach the status badge of your successful run.

Pipeline
.Platform: Manage issues for failing pipelines

Type of Change

Please delete options that are not relevant.

  • Bugfix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Update to documentation

Checklist

  • I'm sure there are no other open Pull Requests for the same update/change
  • My corresponding pipelines / checks run clean and green without any errors or warnings
  • My code follows the style guidelines of this project
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation (readme)
  • I did format my code

@eriqua eriqua added enhancement New feature or request [cat] pipelines category: pipelines labels Feb 13, 2023
@eriqua eriqua marked this pull request as ready for review March 6, 2023 18:42
@eriqua eriqua requested a review from a team as a code owner March 6, 2023 18:42
@eriqua eriqua enabled auto-merge (squash) March 6, 2023 18:42
Copy link
Contributor

@ChrisSidebotham ChrisSidebotham left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@eriqua eriqua merged commit 815643b into main Mar 7, 2023
@eriqua eriqua deleted the users/erikag/gh-token branch March 7, 2023 10:44
@eriqua eriqua changed the title [CI environment] Use GITHUB_TOKEN for manage issue platform pipeline [CI Environment] Use GITHUB_TOKEN for manage issue platform pipeline Mar 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
[cat] pipelines category: pipelines enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Feature Request]: Leverage GITHUB_TOKEN for platform pipelines
2 participants