diff options
author | Frediano Ziglio <fziglio@redhat.com> | 2017-09-04 17:56:25 +0100 |
---|---|---|
committer | Frediano Ziglio <fziglio@redhat.com> | 2017-09-04 17:56:25 +0100 |
commit | 34a63dc7743c3729132fea7d5acf4dae3c30db2a (patch) | |
tree | e12098c45352c8572d86d280f6566a1154917b03 | |
parent | 2ec5dacf00a455ec8b2563ec9271d3c607629e5c (diff) |
add a bit of documentation for rebase utility
-rwxr-xr-x | spice-server/rebase | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/spice-server/rebase b/spice-server/rebase index aed6f6c..0e3daa0 100755 --- a/spice-server/rebase +++ b/spice-server/rebase @@ -1,5 +1,39 @@ #!/bin/bash +# script to help rebase trees of branches +# Git configuration +# ----------------- +# rebasepp.start-commit +# Required. +# Attemps to rebase all branches child of this commit. +# rebasepp.rebase-to +# Required. +# Rebase the branches on this commit (usually origin/master) +# rebasepp.remote +# Optional. +# Attempt to push to this remote if the upstream is set to it +# rebasepp.filter +# Optional. +# "grep -v" filter applied to the branch names. Allows to +# exclude some branches. +# rebasepp.custom-script +# Optional. +# Script to source for customizations. +# +# Custom script +# ------------- +# The script is sourced (shell). The current directory will be +# the git root. +# Environment passes +# COMPILE +# yes/no/full +# REBASE_TO +# rebasepp.rebase-to option +# +# Currently you can define a post_process function that will be called +# if the rebase is successful. +# The name of the branch will be passed as first argument. + error() { echo "$*" >&2 exit 1 |