pico-sdk
pico-sdk copied to clipboard
Add PR branch check action
This adds a GitHub action to throw an error if you raise a PR targeting the master branch, and adds a comment to the PR. See here for an example of the comment.
Note that this action will only be run once it has been merged into master
Once this is merged, I'll merge identical actions into picotool and pico-examples