Peter Surda
3033520995
- rearrange obsolete build scripts - rearrange working build scripts - add build / devel scripts I use - add existing development tests (bloom filter, message encoding, thread interrupts) - add directory descriptions
12 lines
178 B
Bash
Executable File
12 lines
178 B
Bash
Executable File
#!/bin/bash
|
|
|
|
if [ -z "$1" ]; then
|
|
echo "You must specify pull request number"
|
|
exit
|
|
fi
|
|
|
|
git pull
|
|
git checkout v0.6
|
|
git fetch origin pull/"$1"/head:"$1"
|
|
git merge --ff-only "$1"
|