blob: 41ffe25475584b36699c576c20f9688b06265260 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/bin/bash
#
# Push changes in a subtree to a remote.
#
# Parameters
BASENAME="`basename $0`"
REMOTE="$1"
FOLDER="$2"
# Syntax
if [ -z "$2" ]; then
echo "usage: $BASENAME <gitremote> <folder>"
exit 1
fi
# Check remote
if ! git remote | grep -qe "^$REMOTE"; then
echo "fatal: no such remote $REMOTE"
exit
fi
# Fetch the remote
git fetch $REMOTE master
# Process
if [ ! -d "$FOLDER" ]; then
echo "fatal: folder $FOLDER does not exist"
exit 1
else
# Update a subtree
git subtree push --prefix=$FOLDER $REMOTE master
fi
|
