inline-docs.sh

#!/bin/sh
set -e

DOCS_REPO=$1
DRIVER_REPO=$2
BRANCH=$3
DRIVER_BRANCH=$4

usage() {
        echo "do.sh <docs-url> <driver-url> <branch>"
        exit 1
}

if [ -z "$DOCS_REPO" ]; then
        usage
fi

if [ -z "$DRIVER_REPO" ]; then
        usage
fi

if [ -z "$BRANCH" ]; then
        usage
fi

rm -rf docs driver || true

git clone -b "$BRANCH" "$DOCS_REPO" docs
git clone -b "$DRIVER_BRANCH" "$DRIVER_REPO" driver

(
        cd driver
        git filter-repo --path docs --path-rename docs/:source/
)

(
        cd docs
        git remote add driver-repo ../driver
        git fetch driver-repo
        git merge "remotes/driver-repo/$DRIVER_BRANCH" --allow-unrelated-histories
)