touchpr: add help

This commit is contained in:
Sridhar Ratnakumar 2024-08-04 20:06:22 -04:00
parent db392e4917
commit e74a532044
No known key found for this signature in database

View file

@ -1,4 +1,11 @@
def main [pr_url: string] {
# cf. https://github.com/DeterminateSystems/update-flake-lock/issues/110
# Force push to a GitHub PR
#
# Useful to trigger GitHub Actions CI
def main [
pr_url: string # GitHub PR URL
] {
let parsed = ($pr_url | parse -r 'https://github\.com/(?P<owner>[\w-]+)/(?P<repo>[\w-]+)/pull/(?P<pr_number>\d+)')
if ($parsed | is-empty) {