Thanks to visit codestin.com
Credit goes to github.com

Skip to content

ci: add PR title lint#66

Merged
p-e-w merged 2 commits intop-e-w:masterfrom
red40maxxer:semantic-pr
Dec 3, 2025
Merged

ci: add PR title lint#66
p-e-w merged 2 commits intop-e-w:masterfrom
red40maxxer:semantic-pr

Conversation

@red40maxxer
Copy link
Contributor

@red40maxxer red40maxxer commented Dec 3, 2025

Bit of random housekeeping but as the project continues to grow it'd probably be better for everyone to stick to Conventional Commits. We squash all PRs so this just makes sure that the titles conform to the standard and give us a clean git history. Let me know if this is something you'd like to add

Sorry about the accidental PR spam, I misclicked

Copy link
Owner

@p-e-w p-e-w left a comment

Choose a reason for hiding this comment

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

Sure! I'm a code quality nut myself, and though I don't use Conventional Commits habitually, I am fine with switching to those, and this will certainly make the history easier to read.

@red40maxxer red40maxxer requested a review from p-e-w December 3, 2025 03:12
steps:
- uses: amannn/action-semantic-pull-request@v6
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
Copy link
Owner

Choose a reason for hiding this comment

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

Wait, what does that do? Why is a token needed for this check?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

It needs it to fetch the PR + commits from the github REST API, it's pretty standard.

It's the first example on the repo README, GITHUB_TOKEN is automatically generated for workflows.

Copy link
Owner

Choose a reason for hiding this comment

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

Ok, I wasn't familiar with this part of the GitHub Actions system. I went down a quick rabbit hole and this should indeed be fine even if the action were malicious. Thanks!

@p-e-w p-e-w merged commit d836fb2 into p-e-w:master Dec 3, 2025
4 checks passed
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

Comments