2020-10-09 04:13:22 -05:00
|
|
|
#!/bin/bash -e
|
|
|
|
#
|
|
|
|
# './g pull -r' just forwards to 'git pull -r'.
|
|
|
|
#
|
2020-10-09 08:06:08 -05:00
|
|
|
# './g review [name]' to submit a pull request, assuming:
|
2020-10-09 04:13:22 -05:00
|
|
|
# 1) You have 'gh' installed.
|
|
|
|
# 2) You are a committer, so you have the permission to push to a private/nick/name branch.
|
|
|
|
# 3) You delete this branch after the PR is merged.
|
2020-10-09 08:06:08 -05:00
|
|
|
# 4) "name" is the name of part of the private/user/name remote branch, defaults to the current
|
|
|
|
# branch. You have to specify this explicitly if you want to update an existing PR.
|
2020-10-09 04:13:22 -05:00
|
|
|
#
|
2020-11-26 08:32:19 -06:00
|
|
|
# './g backport <branch> <PR number> [name]' to submit a pull request for a different branch:
|
|
|
|
# 1) Checks out a local branch for the remote <branch>.
|
|
|
|
# 2) Cherry-picks commits from <PR number>
|
|
|
|
# 3) Uses './g review' to submit a pull request against <branch>.
|
|
|
|
#
|
2020-10-09 04:13:22 -05:00
|
|
|
|
2020-11-26 08:32:19 -06:00
|
|
|
if [ -z "$(type -p gh)" ]; then
|
|
|
|
echo "'gh' not found, install it from <https://github.com/cli/cli/blob/trunk/docs/install_linux.md>."
|
|
|
|
exit 1
|
|
|
|
fi
|
2020-10-09 04:13:22 -05:00
|
|
|
|
2020-11-26 08:32:19 -06:00
|
|
|
if ! gh auth status &>/dev/null; then
|
|
|
|
echo "'gh' thinks you are not logged into any GitHub hosts. Run 'gh auth login' to authenticate."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
# e.g. co-4-2
|
|
|
|
BRANCH=$(git symbolic-ref HEAD|sed 's|refs/heads/||')
|
|
|
|
# e.g. origin
|
|
|
|
REMOTE=$(git config branch.$BRANCH.remote)
|
2020-10-26 04:20:22 -05:00
|
|
|
|
2020-11-26 08:32:19 -06:00
|
|
|
if [ "$1" == "review" ]; then
|
2020-10-14 01:42:36 -05:00
|
|
|
# e.g. distro/collabora/co-4-2
|
|
|
|
TRACKED_BRANCH=$(git rev-parse --abbrev-ref --symbolic-full-name HEAD@{upstream}|sed "s|${REMOTE}/||")
|
|
|
|
REMOTE_BRANCH=private/$USER/$TRACKED_BRANCH
|
2020-10-09 08:06:08 -05:00
|
|
|
CUSTOM_BRANCH=
|
|
|
|
if [ -n "$2" ]; then
|
|
|
|
REMOTE_BRANCH=private/$USER/$2
|
|
|
|
CUSTOM_BRANCH=y
|
|
|
|
fi
|
2020-10-22 07:05:33 -05:00
|
|
|
|
|
|
|
# So that we have an up to date view on what remote branches exist.
|
|
|
|
git fetch --prune $REMOTE
|
|
|
|
|
2020-10-09 08:06:08 -05:00
|
|
|
HAS_REMOTE_BRANCH=
|
|
|
|
if git rev-parse --quiet --verify $REMOTE/$REMOTE_BRANCH >/dev/null; then
|
|
|
|
HAS_REMOTE_BRANCH=y
|
|
|
|
fi
|
|
|
|
if [ -n "$HAS_REMOTE_BRANCH" ] && [ -z "$CUSTOM_BRANCH" ]; then
|
|
|
|
echo "Error: default remote branch would be '$REMOTE_BRANCH', but it already exists."
|
|
|
|
echo "To update the existing PR: type './g review $BRANCH' explicitly."
|
|
|
|
exit 1
|
|
|
|
elif [ -n "$HAS_REMOTE_BRANCH" ] && [ -n "$CUSTOM_BRANCH" ]; then
|
|
|
|
# PR is open, same branch is explicitly specified, just update it.
|
|
|
|
git push -f $REMOTE HEAD:$REMOTE_BRANCH
|
2020-10-09 04:13:22 -05:00
|
|
|
else
|
|
|
|
# Open a new PR.
|
2020-10-09 08:06:08 -05:00
|
|
|
git push $REMOTE HEAD:$REMOTE_BRANCH
|
|
|
|
git branch $REMOTE_BRANCH
|
2020-10-14 01:42:36 -05:00
|
|
|
gh pr create --base $TRACKED_BRANCH --head $REMOTE_BRANCH --fill
|
2020-10-09 08:06:08 -05:00
|
|
|
git branch -D $REMOTE_BRANCH
|
2020-10-09 04:13:22 -05:00
|
|
|
fi
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
2020-11-26 08:32:19 -06:00
|
|
|
if [ "$1" == "backport" ]; then
|
|
|
|
if [ -z "$(type -p jq)" ]; then
|
|
|
|
echo "'jq' not found, install it with your package manager."
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
BACKPORT_BRANCH=$2
|
|
|
|
if [ -z "$BACKPORT_BRANCH" ]; then
|
|
|
|
echo "Error: backport branch is not specified"
|
|
|
|
echo "Usage: './g backport <branch> <PR number> [name]'"
|
|
|
|
echo "Example: './g backport distro/collabora/co-6-4 42'"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
if ! git rev-parse --quiet --verify $REMOTE/$BACKPORT_BRANCH >/dev/null; then
|
|
|
|
echo "Error: backport branch does not exist"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
PRNUM=$3
|
|
|
|
if [ -z "$PRNUM" ]; then
|
|
|
|
echo "Error: PR number is not specified"
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
# Optional.
|
|
|
|
CUSTOM_BRANCH=$4
|
|
|
|
|
|
|
|
JSON=$(mktemp)
|
|
|
|
gh api graphql -f query='
|
|
|
|
{
|
|
|
|
repository(owner: "CollaboraOnline", name:"online")
|
|
|
|
{
|
|
|
|
pullRequest(number: '$PRNUM'){
|
|
|
|
baseRefOid
|
|
|
|
headRefOid
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}' > $JSON
|
|
|
|
BASE_COMMIT=$(cat $JSON | jq --raw-output ".data.repository.pullRequest.baseRefOid")
|
|
|
|
HEAD_COMMIT=$(cat $JSON | jq --raw-output ".data.repository.pullRequest.headRefOid")
|
|
|
|
COMMIT_RANGE=$BASE_COMMIT..$HEAD_COMMIT
|
|
|
|
|
|
|
|
# Create local branch if needed.
|
|
|
|
BRANCH_CREATED=
|
|
|
|
if git rev-parse --quiet --verify master2 >/dev/null; then
|
|
|
|
git checkout $BACKPORT_BRANCH
|
|
|
|
else
|
|
|
|
git checkout --track $REMOTE/$BACKPORT_BRANCH
|
|
|
|
BRANCH_CREATED=y
|
|
|
|
fi
|
|
|
|
|
|
|
|
git cherry-pick $COMMIT_RANGE
|
|
|
|
|
|
|
|
$0 review $CUSTOM_BRANCH
|
|
|
|
|
|
|
|
git checkout $BRANCH
|
|
|
|
|
|
|
|
if [ -n "$BRANCH_CREATED" ]; then
|
|
|
|
git branch -D $BACKPORT_BRANCH
|
|
|
|
fi
|
|
|
|
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
2020-10-09 04:13:22 -05:00
|
|
|
if [ "$1" == "pull" ]; then
|
|
|
|
shift
|
|
|
|
git pull "$@"
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
|
|
|
# vim:set shiftwidth=4 softtabstop=4 expandtab:
|