Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for Bot (0.14 sec)

  1. .github/hub_scripts/pr_ci.sh

    #
    
    #
    # Simple shell script for launching CI jobs using the @bot-gradle GitHub comment listener.
    # Uses the [hub](https://hub.github.com/) CLI command to issue API requests to GitHub.
    # This script must be executed from the branch associated with the PR to issue the command on.
    #
    
    PR_NUMBER=$(hub pr show -f '%I')
    Shell Script
    - Registered: Wed Apr 24 11:36:11 GMT 2024
    - Last Modified: Fri Jan 22 15:25:21 GMT 2021
    - 1K bytes
    - Viewed (0)
Back to top