Skip to content

Remove scorecard token, default to GITHUB_TOKEN#522

Merged
pdabelf5 merged 2 commits intomainfrom
chore/scorecard
Jul 2, 2025
Merged

Remove scorecard token, default to GITHUB_TOKEN#522
pdabelf5 merged 2 commits intomainfrom
chore/scorecard

Conversation

@pdabelf5
Copy link
Copy Markdown
Collaborator

@pdabelf5 pdabelf5 commented Jul 1, 2025

Proposed changes

Remove scorecard token, default to GITHUB_TOKEN

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING doc
  • I have added tests that prove my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have updated necessary documentation
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch from my own fork

@pdabelf5 pdabelf5 requested a review from a team as a code owner July 1, 2025 16:02
@github-actions github-actions bot added the chore Pull requests for routine tasks label Jul 1, 2025
@pdabelf5 pdabelf5 enabled auto-merge (squash) July 2, 2025 10:24
@pdabelf5 pdabelf5 merged commit be07ac0 into main Jul 2, 2025
7 checks passed
@pdabelf5 pdabelf5 deleted the chore/scorecard branch July 2, 2025 10:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants