scripts

Scripts

Hub utility tool

hub-util.sh is a script that expands the abilities of GitHub's excellent hub tool.

Full details

Lists all available options:

$ hub-util.sh -h

PR porting checks

The pr-porting-checks.sh script checks a PR to ensure it follows the PR porting policy. It is designed to be called from a GitHub action.

Full details

Lists all available options:

$ pr-porting-checks.sh -h