[lkml]   [2006]   [Apr]   [6]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    Patch in this message
    Subject[PATCH] Script for automated historical Git tree grafting
    This script enables Git users to easily graft the historical Git tree
    (Bitkeeper history import) to the current history.

    Signed-off-by: Petr Baudis <>

    --- | 40 +++++++++++++++++++++++++++++++++++++++-
    1 file changed, 39 insertions(+), 1 deletion(-)

    diff --git a/scripts/ b/scripts/
    new file mode 100755
    index 0000000..97b3e78
    --- /dev/null
    +++ b/scripts/
    @@ -0,0 +1,39 @@
    +# Graft the development history imported from BitKeeper to the current Git
    +# history tree.
    +# Note that this will download about 260M.
    +httpget="curl -O -C -"
    +if [ -z "`which curl 2>/dev/null`" ]; then
    + httpget="wget -c"
    + if [ -z "`which wget 2>/dev/null`" ]; then
    + echo "Error: You need to have wget or curl installed so that I can fetch the history." >&2
    + exit 1
    + fi
    +[ "$GIT_DIR" ] || GIT_DIR=.git
    +if ! [ -d "$GIT_DIR" ]; then
    + echo "Error: You must run this from the project root (or set GIT_DIR to your .git directory)." >&2
    + exit 1
    +cd "$GIT_DIR"
    +echo "[git-gethistory] Downloading the history"
    +mkdir -p objects/pack
    +cd objects/pack
    +echo "[git-gethistory] Setting up the grafts"
    +cd ../..
    +mkdir -p info
    +# master
    +echo 1da177e4c3f41524e886b7f1b8a0c1fc7321cac2 e7e173af42dbf37b1d946f9ee00219cb3b2bea6a >>info/grafts
    +echo "[git-gethistory] Refreshing the dumb server info wrt. new packs"
    +cd ..

    Petr "Pasky" Baudis
    Right now I am having amnesia and deja-vu at the same time. I think
    I have forgotten this before.
    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to
    More majordomo info at
    Please read the FAQ at

     \ /
      Last update: 2006-04-07 02:49    [W:0.055 / U:39.468 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site