Name	Name	Last commit message	Last commit date
parent directory ..
README.md	README.md
hub-util.sh	hub-util.sh
pr-add-size-label.sh	pr-add-size-label.sh
pr-porting-checks.sh	pr-porting-checks.sh

Name

Last commit message

Last commit date

Scripts

Hub utility tool

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

Lists all available options:

$ hub-util.sh -h

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.

Lists all available options:

$ pr-porting-checks.sh -h