mirror of
https://github.com/simonmichael/hledger.git
synced 2024-09-18 17:57:11 +03:00
dev: tools/release: update for new "github" remote name
This commit is contained in:
parent
dedb331845
commit
8fddc1e528
@ -145,8 +145,9 @@ prep() {
|
||||
}
|
||||
|
||||
# Push the current branch to the CI branches that generate platform binaries.
|
||||
# Assumes the github remote is named "github".
|
||||
bin() {
|
||||
run git push -f origin HEAD:binaries
|
||||
run git push -f github HEAD:binaries
|
||||
}
|
||||
|
||||
if declare -f "$1" > /dev/null; then "$@"; else usage; fi
|
||||
|
Loading…
Reference in New Issue
Block a user