chore: Fix file formatting (#5718)

This commit is contained in:
Bart
2025-08-22 10:02:56 -04:00
committed by GitHub
parent 58dd07bbdf
commit 896b8c3b54
27 changed files with 170 additions and 173 deletions

View File

@@ -5,7 +5,7 @@ then
name=$( basename $0 )
cat <<- USAGE
Usage: $name workbranch base/branch user/branch [user/branch [...]]
* workbranch will be created locally from base/branch
* base/branch and user/branch may be specified as user:branch to allow
easy copying from Github PRs
@@ -66,4 +66,3 @@ git push $push HEAD:$b
git fetch $repo
-------------------------------------------------------------------
PUSH