summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrediano Ziglio <fziglio@redhat.com>2017-09-04 17:56:25 +0100
committerFrediano Ziglio <fziglio@redhat.com>2017-09-04 17:56:25 +0100
commit34a63dc7743c3729132fea7d5acf4dae3c30db2a (patch)
treee12098c45352c8572d86d280f6566a1154917b03
parent2ec5dacf00a455ec8b2563ec9271d3c607629e5c (diff)
add a bit of documentation for rebase utility
-rwxr-xr-xspice-server/rebase34
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